filename | src/gtkui/gtk_debug.c |
changeset | 1122:93d07b7d0ac6 |
prev | 1091:186558374345 |
author | nkeynes |
date | Sun Feb 12 16:30:26 2012 +1000 (11 years ago) |
permissions | -rw-r--r-- |
last change | Add -Werror for mregparm check, so it actually fails if mregparm isn't accepted |
file | annotate | diff | log | raw |
1.1 --- a/src/gtkui/gtk_debug.c Tue Dec 15 08:46:37 2009 +10001.2 +++ b/src/gtkui/gtk_debug.c Sun Feb 12 16:30:26 2012 +10001.3 @@ -79,7 +79,7 @@1.4 data->statusbar = gtk_statusbar_new();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.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.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 );
.