diff --git a/locales/en-US/messages.properties b/locales/en-US/messages.properties index 76bb05c21..c311798c8 100644 --- a/locales/en-US/messages.properties +++ b/locales/en-US/messages.properties @@ -102,6 +102,7 @@ navTextSize=Text size navColorTheme=Color theme navWrapText=Wrap long lines navAllowJS=Allow JavaScript +navAllowLS=Allow Linting navPreview=PREVIEW navViewTutorial=TUTORIAL navToggleAutoUpdateTitle=Toggle Preview Auto-refresh @@ -197,6 +198,7 @@ navDarkThemeIconTitle=Switch to the dark theme navLightThemeIconTitle=Switch to the light theme navWrapTextTitle=Toggle wrapping long lines of code navAllowJSTitle=Toggle running JavaScript code in the preview +navAllowLSTitle=Toggle running interactive-linting navPreviewTitle=View the Preview navViewTutorialTitle=View the Project Tutorial navDOMElementInspectorIconTitle=Toggle Element Inspector diff --git a/public/editor/scripts/editor/js/fc/bramble-menus.js b/public/editor/scripts/editor/js/fc/bramble-menus.js index 45c52baab..b7db5d0c1 100644 --- a/public/editor/scripts/editor/js/fc/bramble-menus.js +++ b/public/editor/scripts/editor/js/fc/bramble-menus.js @@ -77,8 +77,7 @@ define(function(require) { } return false; - }); - + }); // Theme Toggle function lightThemeUI() { diff --git a/views/editor/nav-options.html b/views/editor/nav-options.html index 2025a91fd..243ad0d4c 100644 --- a/views/editor/nav-options.html +++ b/views/editor/nav-options.html @@ -93,6 +93,13 @@
+