1.1 --- a/src/gtkui/debug_win.c	Fri Jan 11 00:36:07 2008 +0000
     1.2 +++ b/src/gtkui/debug_win.c	Mon Jan 14 08:49:51 2008 +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), 640, 480);
     1.8 +    gtk_window_set_default_size (GTK_WINDOW (data->window), 700, 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  
    1.12 @@ -79,7 +79,7 @@
    1.13      data->statusbar = gtk_statusbar_new();
    1.14  
    1.15      GtkWidget *hpaned = gtk_hpaned_new ();
    1.16 -    gtk_paned_set_position (GTK_PANED (hpaned), 800);
    1.17 +    gtk_paned_set_position (GTK_PANED (hpaned), 500);
    1.18  
    1.19      GtkWidget *disasm_box = gtk_vbox_new(FALSE,0);
    1.20      gtk_paned_pack1 (GTK_PANED (hpaned), disasm_box, TRUE, TRUE);