1.1 --- a/src/gui/debug_win.c	Tue Nov 20 08:31:34 2007 +0000
     1.2 +++ b/src/gui/debug_win.c	Tue Nov 20 08:32:05 2007 +0000
     1.3 @@ -70,7 +70,7 @@
     1.4          GtkWidget *vbox;
     1.5  
     1.6      data->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
     1.7 -    gtk_window_set_default_size (GTK_WINDOW (data->window), 1000, 700);
     1.8 +    gtk_window_set_default_size (GTK_WINDOW (data->window), 640, 480);
     1.9      gtk_window_set_title( GTK_WINDOW(data->window), title );
    1.10      gtk_window_add_accel_group (GTK_WINDOW (data->window), accel_group);
    1.11