Add options menu to editor menu (#2578)

Ability to open game options menu via editor menu.
SuperTux · Aug 14, 2023 · b5049bf · b5049bf
1 parent a03ed1c
commit b5049bf
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/src/supertux/menu/editor_menu.cpp b/src/supertux/menu/editor_menu.cpp
@@ -57,6 +57,8 @@ EditorMenu::EditorMenu()
     add_entry(MNID_TESTLEVEL, _("Test Worldmap"));
   }
 
+  add_entry(MNID_OPTIONS, _("Options"));
+
   add_entry(MNID_SHARE, _("Share Level"));
 
   add_entry(MNID_PACK, _("Package Add-On"));
@@ -158,6 +160,10 @@ EditorMenu::menu_action(MenuItem& item)
     }
       break;
 
+    case MNID_OPTIONS:
+      MenuManager::instance().push_menu(MenuStorage::OPTIONS_MENU);
+      break;
+
     case MNID_SHARE:
     {
       Dialog::show_confirmation(_("We encourage you to share your levels in the SuperTux forum.\nTo find your level, click the\n\"Open Level directory\" menu item.\nDo you want to go to the forum now?"), [] {

diff --git a/src/supertux/menu/editor_menu.hpp b/src/supertux/menu/editor_menu.hpp
@@ -28,6 +28,7 @@ class EditorMenu final : public Menu
     MNID_SAVEASLEVEL,
     MNID_SAVECOPYLEVEL,
     MNID_TESTLEVEL,
+    MNID_OPTIONS,
     MNID_PACK,
     MNID_OPEN_DIR,
     MNID_SHARE,