diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2016-03-09 18:04:49 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2016-03-09 18:04:49 (GMT) |
| commit | dc8a2b19dbb32bfe49b1ff6640cc609238b392ca (patch) | |
| tree | 2103c99baeb3b792bc82fc3db28bd16ecf72b70e /src/gui/editor.c | |
| parent | f8f804cf7ff9a62404b843cf303c762101572784 (diff) | |
Stored and loaded panels attributes using the global configuration.
Diffstat (limited to 'src/gui/editor.c')
| -rw-r--r-- | src/gui/editor.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index bcbdfe1..fdf253f 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -34,6 +34,7 @@ #include "status.h" #include "menus/menubar.h" +#include "core/core.h" #include "panels/panel.h" #include "tb/portions.h" #include "tb/source.h" @@ -305,7 +306,7 @@ GtkWidget *create_editor(void) //_support = init_panels2(G_CALLBACK(on_dock_item_switch), ref); gtk_box_pack_start(GTK_BOX(vbox1), _support, TRUE, TRUE, 0); - load_main_panels(ref); + /* ... = */load_all_gui_components(ref); } while(0); @@ -324,7 +325,7 @@ GtkWidget *create_editor(void) /* Autre */ - prepare_drag_and_drop_window(); + /* ... = */prepare_drag_and_drop_window(); |