--- src/gui/debugger/dbg_bkpts.c.orig	2010-08-19 12:25:41.000000000 +0200
+++ src/gui/debugger/dbg_bkpts.c	2010-08-19 12:31:13.000000000 +0200
@@ -388,7 +388,7 @@
 		gtk_window_iconify(GTK_WINDOW(wnd));
 #endif
 
-	if(!GTK_WIDGET_VISIBLE(dbgw.bkpts) && !options3.bkpts.closed)
+	if(!gtk_widget_get_visible(dbgw.bkpts) && !options3.bkpts.closed)
 		gtk_widget_show(wnd);
 
 	return wnd;