casa-mp-base

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

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

@@ -435,7 +435,7 @@

        gtk_window_iconify(GTK_WINDOW(dbgw.mem));

 #endif

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

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

        gtk_widget_show(dbgw.mem);

     return dbgw.mem;

@@ -593,7 +593,7 @@

 GLADE_CB void

 on_notebook1_switch_page               (GtkNotebook     *notebook,

-                                        GtkNotebookPage *page,

+                                        gpointer         page,

                                         guint            page_num,

                                         gpointer         user_data)

 {