1.1 --- a/src/gui/debug_win.c	Wed Oct 10 11:02:04 2007 +0000
     1.2 +++ b/src/gui/debug_win.c	Thu Oct 11 08:22:03 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: debug_win.c,v 1.23 2007-10-10 11:02:04 nkeynes Exp $
     1.6 + * $Id: debug_win.c,v 1.24 2007-10-11 08:22:03 nkeynes Exp $
     1.7   * This file is responsible for the main debugger gui frame.
     1.8   *
     1.9   * Copyright (c) 2005 Nathan Keynes.
    1.10 @@ -28,8 +28,6 @@
    1.11  
    1.12  GdkColor *msg_colors[] = { &gui_colour_error, &gui_colour_error, &gui_colour_warn, 
    1.13  			   &gui_colour_normal,&gui_colour_debug, &gui_colour_trace };
    1.14 -char *msg_levels[] = { "FATAL", "ERROR", "WARN", "INFO", "DEBUG", "TRACE" };
    1.15 -int global_msg_level = EMIT_WARN;
    1.16  
    1.17  const cpu_desc_t cpu_list[4] = { &sh4_cpu_desc, &arm_cpu_desc, &armt_cpu_desc, NULL };
    1.18  
    1.19 @@ -292,7 +290,7 @@
    1.20      return (address - data->disasm_from) / data->cpu->instr_size;
    1.21  }
    1.22  
    1.23 -
    1.24 +#if 0
    1.25  void emit( void *ptr, int level, const gchar *source, const char *msg, ... )
    1.26  {
    1.27      char buf[20], addr[10] = "", *p;
    1.28 @@ -337,7 +335,7 @@
    1.29      while( gtk_events_pending() )
    1.30          gtk_main_iteration();
    1.31  }
    1.32 -
    1.33 +#endif
    1.34  debug_window_t get_debug_info( GtkWidget *widget ) {
    1.35      
    1.36      GtkWidget *win = gtk_widget_get_toplevel(widget);