diff options
Diffstat (limited to 'src/gtkext/panel.h')
| -rw-r--r-- | src/gtkext/panel.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gtkext/panel.h b/src/gtkext/panel.h index 3b0361e..9b00657 100644 --- a/src/gtkext/panel.h +++ b/src/gtkext/panel.h @@ -44,6 +44,8 @@ char *gtk_tiled_panel_get_path(const GtkTiledPanel *); /* Fournit les composants adaptés pour la barre de titre. */ GListStore *gtk_tiled_panel_get_title_widgets(const GtkTiledPanel *, bool); +/* Note un ajout ou un retrait de panneau principal. */ +void gtk_tiled_panel_notify_new_main_panel_state(GtkTiledPanel *, GtkTiledPanel *, bool); |