--- 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); } +