Merge pull request #4904 from tomsmeding/patch-palette

Rename the "Pallete" button to "Palette"
ajaxorg · Aug 24, 2022 · e09c92e · e09c92e
2 parents 8727838 + e0167de
commit e09c92e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/commands/default_commands.js b/src/commands/default_commands.js
@@ -851,7 +851,7 @@ exports.commands = [{
     scrollIntoView: "cursor"
 }, {
     name: "openCommandPallete",
-    description: "Open command pallete",
+    description: "Open command palette",
     bindKey: bindKey("F1", "F1"),
     exec: function(editor) {
         editor.prompt({ $type: "commands" });

diff --git a/src/mouse/touch_handler.js b/src/mouse/touch_handler.js
@@ -34,7 +34,7 @@ exports.addTouchListeners = function(el, editor) {
                     clipboard && ["span", { class: "ace_mobile-button", action: "paste" }, "Paste"],
                     hasUndo && ["span", { class: "ace_mobile-button", action: "undo" }, "Undo"],
                     ["span", { class: "ace_mobile-button", action: "find" }, "Find"],
-                    ["span", { class: "ace_mobile-button", action: "openCommandPallete" }, "Pallete"]
+                    ["span", { class: "ace_mobile-button", action: "openCommandPallete" }, "Palette"]
                 ] : ["span"]),
                 contextMenu.firstChild
             );