diff options
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/panels/symbols.c | 3 | 
1 files changed, 0 insertions, 3 deletions
diff --git a/src/gui/panels/symbols.c b/src/gui/panels/symbols.c index bac2152..c0d34a7 100644 --- a/src/gui/panels/symbols.c +++ b/src/gui/panels/symbols.c @@ -162,7 +162,6 @@ static void g_symbols_panel_init(GSymbolsPanel *panel)  {      GEditorItem *base;                      /* Version basique d'instance  */      GObject *ref;                           /* Espace de référencement     */ -    GtkTooltips *tooltips;                  /* Affichage des bulles d'aide */      GtkWidget *toolbar;                     /* Barre d'outils              */      GtkWidget *button;                      /* Bouton de cette même barre  */      GtkWidget *separator;                   /* Barre de séparation vert.   */ @@ -182,8 +181,6 @@ static void g_symbols_panel_init(GSymbolsPanel *panel)      /* Barre d'outils supérieure */ -    tooltips = gtk_tooltips_new(); -      toolbar = gtk_toolbar_new();      gtk_widget_show(toolbar);      gtk_box_pack_start(GTK_BOX(base->widget), toolbar, FALSE, FALSE, 0);  | 
