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