diff options
Diffstat (limited to 'src/panels/panel.c')
| -rw-r--r-- | src/panels/panel.c | 26 |
1 files changed, 0 insertions, 26 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. * |