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/core/panels.h | |
parent | f8f804cf7ff9a62404b843cf303c762101572784 (diff) |
Stored and loaded panels attributes using the global configuration.
Diffstat (limited to 'src/gui/core/panels.h')
-rw-r--r-- | src/gui/core/panels.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gui/core/panels.h b/src/gui/core/panels.h index 1a8f9d8..07ce133 100644 --- a/src/gui/core/panels.h +++ b/src/gui/core/panels.h @@ -30,6 +30,7 @@ #include "../panels/panel.h" +#include "../../glibext/configuration.h" @@ -37,7 +38,7 @@ void load_main_panels(GObject *); /* Enregistre un panneau comme partie intégrante de l'éditeur. */ -void register_panel_item(GPanelItem *, GObject *); +void register_panel_item(GPanelItem *, GObject *, GGenConfig *); /* Réalise un traitement sur un panneau de l'éditeur. */ typedef bool (* handle_panel_item_fc) (GPanelItem *, void *); |