1.1 --- a/src/gui/gtkui.h	Sun Oct 21 11:38:02 2007 +0000
     1.2 +++ b/src/gui/gtkui.h	Sat Oct 27 05:44:54 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: gtkui.h,v 1.6 2007-10-21 11:38:02 nkeynes Exp $
     1.6 + * $Id: gtkui.h,v 1.7 2007-10-27 05:44:54 nkeynes Exp $
     1.7   *
     1.8   * Core GTK-based user interface
     1.9   *
    1.10 @@ -63,6 +63,7 @@
    1.11  main_window_t gtk_gui_get_main();
    1.12  debug_window_t gtk_gui_get_debugger();
    1.13  mmio_window_t gtk_gui_get_mmio();
    1.14 +void gtk_gui_show_debugger();
    1.15  
    1.16  /********************* Helper functions **********************/
    1.17  
    1.18 @@ -100,6 +101,8 @@
    1.19  void debug_runto_action_callback( GtkAction *action, gpointer user_data);
    1.20  void debug_breakpoint_action_callback( GtkAction *action, gpointer user_data);
    1.21  
    1.22 +void gdrom_open_direct_callback( GtkWidget *widget, gpointer user_data );
    1.23 +
    1.24  /*************** Constant colour/font values *****************/
    1.25  extern PangoFontDescription *gui_fixed_font;
    1.26  extern GdkColor gui_colour_normal, gui_colour_changed, gui_colour_error;