1.1 --- a/src/gtkui/debug_win.c	Thu Nov 22 11:10:15 2007 +0000
     1.2 +++ b/src/gtkui/debug_win.c	Tue Jan 15 20:50:23 2008 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: debug_win.c,v 1.29 2007-11-10 04:45:29 nkeynes Exp $
     1.6 + * $Id$
     1.7   * This file is responsible for the main debugger gui frame.
     1.8   *
     1.9   * Copyright (c) 2005 Nathan Keynes.
    1.10 @@ -70,7 +70,7 @@
    1.11          GtkWidget *vbox;
    1.12  
    1.13      data->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
    1.14 -    gtk_window_set_default_size (GTK_WINDOW (data->window), 640, 480);
    1.15 +    gtk_window_set_default_size (GTK_WINDOW (data->window), 700, 480);
    1.16      gtk_window_set_title( GTK_WINDOW(data->window), title );
    1.17      gtk_window_add_accel_group (GTK_WINDOW (data->window), accel_group);
    1.18  
    1.19 @@ -79,7 +79,7 @@
    1.20      data->statusbar = gtk_statusbar_new();
    1.21  
    1.22      GtkWidget *hpaned = gtk_hpaned_new ();
    1.23 -    gtk_paned_set_position (GTK_PANED (hpaned), 800);
    1.24 +    gtk_paned_set_position (GTK_PANED (hpaned), 500);
    1.25  
    1.26      GtkWidget *disasm_box = gtk_vbox_new(FALSE,0);
    1.27      gtk_paned_pack1 (GTK_PANED (hpaned), disasm_box, TRUE, TRUE);