Resolves wuub#592

mariohuq · May 23, 2021 · eecb52d · eecb52d
1 parent d17e864
commit eecb52d
Showing 1 changed file with 6 additions and 19 deletions.
diff --git a/Main.sublime-menu b/Main.sublime-menu
@@ -43,25 +43,12 @@
                 "children":
                 [
                     {
-                        "caption": "SublimeREPL",
-                        "children":
-                        [
-                            {
-                                "command": "open_file", "args":
-                                {
-                                    "file": "${packages}/SublimeREPL/SublimeREPL.sublime-settings"
-                                },
-                                "caption": "Settings – Default"
-                            },
-                            {
-                                "command": "open_file", "args":
-                                {
-                                    "file": "${packages}/User/SublimeREPL.sublime-settings"
-                                },
-                                "caption": "Settings – User"
-                            },
-                            { "caption": "-" }
-                        ]
+                        "caption": "SublimeREPL Settings",
+
+                        "command": "edit_settings", "args":
+                        {
+                            "base_file": "${packages}/SublimeREPL/SublimeREPL.sublime-settings"
+                        },
                     }
                 ]
             }