casa-mp-base

--- src/gui/debugger/dbg_stack.c.orig   2012-05-11 11:41:13.000000000 +0200

+++ src/gui/debugger/dbg_stack.c    2012-05-11 11:42:04.000000000 +0200

@@ -197,7 +197,7 @@

        gtk_window_iconify(GTK_WINDOW(dbgw.stack));

 #endif

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

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

        gtk_widget_show(dbgw.stack);

    return dbgw.stack;

@@ -427,3 +427,4 @@

 {

    dbgmem_add_tab(value);

 }

+