diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2025-05-22 02:37:08 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2025-05-22 02:37:08 (GMT) |
| commit | c3fb323e06bafe2fa04a00c29cf07a7bf4e44b37 (patch) | |
| tree | 7a756b9edce8262c7dfb072ecb8e003754dc0a07 /src/gtkext/dockstation.h | |
| parent | 8ef19378427c1b2d88f72817ff2870445bf674d3 (diff) | |
Notify panel [de]activations.
Diffstat (limited to 'src/gtkext/dockstation.h')
| -rw-r--r-- | src/gtkext/dockstation.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gtkext/dockstation.h b/src/gtkext/dockstation.h index 3106dae..e4c849f 100644 --- a/src/gtkext/dockstation.h +++ b/src/gtkext/dockstation.h @@ -50,6 +50,10 @@ void gtk_dock_station_keep_panel(GtkDockStation *, GtkTiledPanel *); /* Indique si la station d'accueil contient au moins un panneau. */ bool gtk_dock_station_is_empty(const GtkDockStation *); +/* Note un ajout ou un retrait de panneau principal. */ +void gtk_dock_station_notify_new_main_panel_state(const GtkDockStation *, GtkTiledPanel *, bool); + + #if 0 |