diff options
Diffstat (limited to 'src/panels')
| -rw-r--r-- | src/panels/panel.c | 26 | ||||
| -rw-r--r-- | src/panels/panel.h | 3 |
2 files changed, 0 insertions, 29 deletions
diff --git a/src/panels/panel.c b/src/panels/panel.c index 4d08b7f..139a44b 100644 --- a/src/panels/panel.c +++ b/src/panels/panel.c @@ -157,32 +157,6 @@ void init_internal_panels(void) /****************************************************************************** * * -* Paramètres : top = espace courant d'affichage principal. * -* * -* Description : Incruste tous les panneaux dans la fenêtre de l'éditeur. * -* * -* Retour : - * -* * -* Remarques : - * -* * -******************************************************************************/ - -void place_all_panels_in_editor(GtkWidget *top) -{ - GEditorPanel *iter; /* Boucle de parcours */ - GDockItem *ditem; /* Panneau avec ses infos. */ - - panels_list_for_each(iter, panels_list) - { - ditem = g_dock_item_new(iter->name, iter->widget); - gtk_dock_panel_add_item(GTK_DOCK_PANEL(top), ditem); - } - -} - - -/****************************************************************************** -* * * Paramètres : binary = nouvelle instance de binaire analysé. * * * * Description : Lance une actualisation du fait d'un changement de binaire. * diff --git a/src/panels/panel.h b/src/panels/panel.h index 60ce657..65887c7 100644 --- a/src/panels/panel.h +++ b/src/panels/panel.h @@ -73,9 +73,6 @@ void change_current_binary_in_panels(GObject *, GLoadedBinary *); /* Procède au chargement de tous les panneaux internes. */ void init_internal_panels(void); -/* Incruste tous les panneaux dans la fenêtre de l'éditeur. */ -void place_all_panels_in_editor(GtkWidget *); - /* Lance une actualisation du fait d'un changement de binaire. */ void notify_panels_of_binary_change(GLoadedBinary *); |