diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/gui/editor.c | 47 |
1 files changed, 32 insertions, 15 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index 5e8717a..5bab5d3 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -193,6 +193,9 @@ void on_panel_item_undock_request(GPanelItem *, void *); /* Réagit au changement d'onglet d'un panneau quelconque. */ static void on_dock_item_switch(GtkDockStation *, GtkWidget *, GObject *); +/* Encastre comme demandé un panneau dans l'éditeur. */ +static void dock_panel_into_current_station(GtkCheckMenuItem *, GPanelItem *); + /* Réagit à une demande de menu pour rajouter des panneaux. */ static void on_dock_menu_request(GtkDockStation *, GtkWidget *, GObject *); @@ -1390,6 +1393,35 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, GObj /****************************************************************************** * * +* Paramètres : menuitem = élement de menu actionné. * +* item = panneau à ajouter à l'interface graphique. * +* * +* Description : Encastre comme demandé un panneau dans l'éditeur. * +* * +* Retour : - * +* * +* Remarques : - * +* * +******************************************************************************/ + +static void dock_panel_into_current_station(GtkCheckMenuItem *menuitem, GPanelItem *item) +{ + GtkWidget *parent; /* Menu parent avec chemin */ + const char *new_path; /* Nouveau chemin à appliquer */ + + parent = gtk_widget_get_parent(GTK_WIDGET(menuitem)); + + new_path = g_object_get_data(G_OBJECT(parent), "path"); + + gtk_panel_item_set_path(item, new_path); + + g_panel_item_dock(item); + +} + + +/****************************************************************************** +* * * Paramètres : station = panneau de support des éléments concerné. * * button = bouton à l'origine de la procédure. * * ref = adresse de l'espace de référencement global. * @@ -1420,21 +1452,6 @@ static void on_dock_menu_request(GtkDockStation *station, GtkWidget *button, GOb /* Ajout des panneaux uniques */ - void dock_panel_into_current_station(GtkCheckMenuItem *menuitem, GPanelItem *item) - { - GtkWidget *parent; /* Menu parent avec chemin */ - const char *new_path; /* Nouveau chemin à appliquer */ - - parent = gtk_widget_get_parent(GTK_WIDGET(menuitem)); - - new_path = g_object_get_data(G_OBJECT(parent), "path"); - - gtk_panel_item_set_path(item, new_path); - - g_panel_item_dock(item); - - } - bool add_side_panel_to_menu(GPanelItem *panel, GtkContainer *support) { const char *name; /* Désignation de l'entrée */ |