Searched refs:gtkui_debugger_done_close (Results 1 – 2 of 2) sorted by relevance
152 static void gtkui_debugger_done_close( GtkWidget *widget, gpointer user_data );768 G_CALLBACK( gtkui_debugger_done_close ), TRUE ); in create_buttons()1209 gtkui_debugger_done_close( widget, user_data ); in delete_dialog()1214 gtkui_debugger_done_close( GtkWidget *widget, gpointer user_data GCC_UNUSED ) in gtkui_debugger_done_close() function
161 static void gtkui_debugger_done_close( GtkWidget *widget, gpointer user_data );797 G_CALLBACK( gtkui_debugger_done_close ), TRUE ); in create_buttons()1384 gtkui_debugger_done_close( widget, user_data ); in delete_dialog()1389 gtkui_debugger_done_close( GtkWidget *widget, gpointer user_data GCC_UNUSED ) in gtkui_debugger_done_close() function