1.1 --- a/src/gtkui/gtk_debug.c	Fri Sep 10 21:42:41 2010 +1000
     1.2 +++ b/src/gtkui/gtk_debug.c	Sat Sep 11 09:39:30 2010 +1000
     1.3 @@ -79,7 +79,7 @@
     1.4      data->statusbar = gtk_statusbar_new();
     1.5  
     1.6      GtkWidget *hpaned = gtk_hpaned_new ();
     1.7 -    gtk_paned_set_position (GTK_PANED (hpaned), 500);
     1.8 +    gtk_paned_set_position (GTK_PANED (hpaned), 520);
     1.9  
    1.10      GtkWidget *disasm_box = gtk_vbox_new(FALSE,0);
    1.11      gtk_paned_pack1 (GTK_PANED (hpaned), disasm_box, TRUE, TRUE);
    1.12 @@ -126,8 +126,8 @@
    1.13  
    1.14      data->regs_list = GTK_CLIST(gtk_clist_new (2));
    1.15      gtk_container_add (GTK_CONTAINER (reg_scroll), GTK_WIDGET(data->regs_list));
    1.16 -    gtk_clist_set_column_width (GTK_CLIST (data->regs_list), 0, 80);
    1.17 -    gtk_clist_set_column_width (GTK_CLIST (data->regs_list), 1, 80);
    1.18 +    gtk_clist_set_column_width (GTK_CLIST (data->regs_list), 0, 60);
    1.19 +    gtk_clist_set_column_width (GTK_CLIST (data->regs_list), 1, 70);
    1.20      gtk_clist_column_titles_hide (GTK_CLIST (data->regs_list));
    1.21      gtk_widget_modify_font( GTK_WIDGET(data->regs_list), gui_fixed_font );
    1.22