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 *); |