diff options
Diffstat (limited to 'src/gui/menus/menubar.c')
| -rw-r--r-- | src/gui/menus/menubar.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/gui/menus/menubar.c b/src/gui/menus/menubar.c index 863ac54..886387c 100644 --- a/src/gui/menus/menubar.c +++ b/src/gui/menus/menubar.c @@ -30,9 +30,9 @@ #include "edition.h" #include "file.h" #include "help.h" +#include "options.h" #include "plugins.h" #include "project.h" -#include "tools.h" #include "view.h" #include "../editem-int.h" @@ -49,7 +49,7 @@ struct _GMenuBar GtkWidget *project; /* Menu "Projet" */ GtkWidget *binary; /* Menu "Binaire" */ GtkWidget *debug; /* Menu "Débogage" */ - GtkWidget *tools; /* Menu "Outils" */ + GtkWidget *options; /* Menu "Options" */ GtkWidget *plugins; /* Menu "Greffons" */ GtkWidget *help; /* Menu "Aide" */ @@ -246,10 +246,10 @@ GEditorItem *g_menu_bar_new(GObject *ref) result->debug = build_menu_debug(ref); gtk_container_add(GTK_CONTAINER(item->widget), result->debug); - /* Outils */ + /* Options */ - result->tools = build_menu_tools(ref, result); - gtk_container_add(GTK_CONTAINER(item->widget), result->tools); + result->options = build_menu_options(ref, result); + gtk_container_add(GTK_CONTAINER(item->widget), result->options); /* Greffons */ |