casa-mp-base

--- src/gui/debugger/dbg_iop.c.orig 2010-08-19 12:25:41.000000000 +0200

+++ src/gui/debugger/dbg_iop.c  2010-08-19 12:31:13.000000000 +0200

@@ -455,7 +455,7 @@

        gtk_window_iconify(GTK_WINDOW(dbgw.iop));

 #endif

-   if(!GTK_WIDGET_VISIBLE(dbgw.iop) && !options3.iop.closed)

+   if(!gtk_widget_get_visible(dbgw.iop) && !options3.iop.closed)

        gtk_widget_show(dbgw.iop);

    return dbgw.iop;