diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2019-02-18 17:45:39 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2019-02-18 17:45:39 (GMT) |
commit | 55184eaa3682f704ddb9e2da63cd14bc0a62b7a3 (patch) | |
tree | b3e22bf071f647ba418ef7dc83e9d7bf2749c2ca /src/gui/menus/menubar.c | |
parent | 899291f3cbf9b90ccda7af0bee9c3ce3928df0be (diff) |
Prepared room for an incoming preferences dialog box.
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 */ |