casa-mp-base

--- src/gui/debugger/dbg_wnds.c.orig    2010-11-07 00:00:43.000000000 +0100

+++ src/gui/debugger/dbg_wnds.c 2010-11-07 00:01:18.000000000 +0100

@@ -74,21 +74,21 @@

    if(options3.dbg_dock)

        return;

-    if(GTK_WIDGET_VISIBLE(dbgw.regs))

+    if(gtk_widget_get_visible(dbgw.regs))

         gtk_window_iconify(GTK_WINDOW(dbgw.regs));

-    if(GTK_WIDGET_VISIBLE(dbgw.bkpts))

+    if(gtk_widget_get_visible(dbgw.bkpts))

         gtk_window_iconify(GTK_WINDOW(dbgw.bkpts));

-    if(GTK_WIDGET_VISIBLE(dbgw.mem))

+    if(gtk_widget_get_visible(dbgw.mem))

         gtk_window_iconify(GTK_WINDOW(dbgw.mem));

-    if(GTK_WIDGET_VISIBLE(dbgw.pclog))

+    if(gtk_widget_get_visible(dbgw.pclog))

         gtk_window_iconify(GTK_WINDOW(dbgw.pclog));

-    if(GTK_WIDGET_VISIBLE(dbgw.code) & all)

+    if(gtk_widget_get_visible(dbgw.code) & all)

         gtk_window_iconify(GTK_WINDOW(dbgw.code));

-    if(GTK_WIDGET_VISIBLE(dbgw.stack))

+    if(gtk_widget_get_visible(dbgw.stack))

         gtk_window_iconify(GTK_WINDOW(dbgw.stack));

-   if(GTK_WIDGET_VISIBLE(dbgw.heap))

+   if(gtk_widget_get_visible(dbgw.heap))

         gtk_window_iconify(GTK_WINDOW(dbgw.heap));

-   if(GTK_WIDGET_VISIBLE(dbgw.iop))

+   if(gtk_widget_get_visible(dbgw.iop))

         gtk_window_iconify(GTK_WINDOW(dbgw.iop));

 }

@@ -98,21 +98,21 @@

    if(options3.dbg_dock)

        return;

-    if(GTK_WIDGET_VISIBLE(dbgw.regs))

+    if(gtk_widget_get_visible(dbgw.regs))

         gtk_window_deiconify(GTK_WINDOW(dbgw.regs));

-    if(GTK_WIDGET_VISIBLE(dbgw.bkpts))

+    if(gtk_widget_get_visible(dbgw.bkpts))

         gtk_window_deiconify(GTK_WINDOW(dbgw.bkpts));

-    if(GTK_WIDGET_VISIBLE(dbgw.mem))

+    if(gtk_widget_get_visible(dbgw.mem))

         gtk_window_deiconify(GTK_WINDOW(dbgw.mem));

-    if(GTK_WIDGET_VISIBLE(dbgw.pclog))

+    if(gtk_widget_get_visible(dbgw.pclog))

         gtk_window_deiconify(GTK_WINDOW(dbgw.pclog));

-    if(GTK_WIDGET_VISIBLE(dbgw.code) & all)

+    if(gtk_widget_get_visible(dbgw.code) & all)

         gtk_window_deiconify(GTK_WINDOW(dbgw.code));

-    if(GTK_WIDGET_VISIBLE(dbgw.stack))

+    if(gtk_widget_get_visible(dbgw.stack))

         gtk_window_deiconify(GTK_WINDOW(dbgw.stack));

-   if(GTK_WIDGET_VISIBLE(dbgw.heap))

+   if(gtk_widget_get_visible(dbgw.heap))

         gtk_window_deiconify(GTK_WINDOW(dbgw.heap));

-   if(GTK_WIDGET_VISIBLE(dbgw.iop))

+   if(gtk_widget_get_visible(dbgw.iop))

         gtk_window_deiconify(GTK_WINDOW(dbgw.iop));

 }

@@ -122,21 +122,21 @@