diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2015-12-16 17:20:06 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2015-12-16 17:20:06 (GMT) |
| commit | 7c40b70d6c1e1e13dadf876c8dda60b525616d47 (patch) | |
| tree | 743d0b1981a13fb2de0d2eaacc4f644cf84204c0 /src/gui/editor.c | |
| parent | 4d313d845a60e908b9e2723cc1fe2bdbbdded315 (diff) | |
Built a new improved status bar for instructions information.
Diffstat (limited to 'src/gui/editor.c')
| -rw-r--r-- | src/gui/editor.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index 1742596..bc4f144 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -177,7 +177,7 @@ GtkWidget *create_editor(void) - vbox1 = gtk_box_new(GTK_ORIENTATION_VERTICAL, 8); + vbox1 = gtk_box_new(GTK_ORIENTATION_VERTICAL, 4); gtk_widget_show(vbox1); gtk_container_add(GTK_CONTAINER(result), vbox1); |