diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-08-18 21:51:36 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-08-18 21:51:36 (GMT) |
commit | 0f73c1d378991c95a2f3080756cd1336aa829d35 (patch) | |
tree | ec41166dc86709fb024dc61632d24b30be401bf6 /src/gui/core/panels.h | |
parent | 34ce5b73e72eeff2b9232d3aa3839726cfdcbf0f (diff) |
Created a way to dock a panel without registering it.
Diffstat (limited to 'src/gui/core/panels.h')
-rw-r--r-- | src/gui/core/panels.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/core/panels.h b/src/gui/core/panels.h index 477c1e0..5344f3d 100644 --- a/src/gui/core/panels.h +++ b/src/gui/core/panels.h @@ -40,6 +40,9 @@ void load_main_panels(void); /* Enregistre un panneau comme partie intégrante de l'éditeur. */ void register_panel_item(GPanelItem *, GGenConfig *); +/* Intègre un panneau comme partie intégrante de l'éditeur. */ +void activate_panel_item(GPanelItem *, GGenConfig *); + /* Réalise un traitement sur un panneau de l'éditeur. */ typedef bool (* handle_panel_item_fc) (GPanelItem *, void *); |