diff --git a/js/common/dialogs.js b/js/common/dialogs.js index 1b71b90e..4c0295ca 100644 --- a/js/common/dialogs.js +++ b/js/common/dialogs.js @@ -446,4 +446,4 @@ export { ProgressDialog, DeviceInfoModal, InputModal -}; \ No newline at end of file +}; diff --git a/js/layout.js b/js/layout.js index a29fffbd..aa5caf4c 100644 --- a/js/layout.js +++ b/js/layout.js @@ -270,4 +270,4 @@ fixViewportHeight(); window.addEventListener("resize", fixViewportHeight); loadPanelSettings(); setupPanelFocusHandlers(); -setActivePanel(editorPage); \ No newline at end of file +setActivePanel(editorPage); diff --git a/js/script.js b/js/script.js index cc8c0bb0..b8a09b4f 100644 --- a/js/script.js +++ b/js/script.js @@ -512,7 +512,7 @@ async function saveFileContents(path) { saveRetryCount++; if (saveRetryCount < MAX_SAVE_RETRIES) { console.log(`Save retry ${saveRetryCount} of ${MAX_SAVE_RETRIES}...`); - currentTimeout = setTimeout(await saveFileContents(path), 2000); + currentTimeout = setTimeout(() => saveFileContents(path), 2000); } else { saveRetryCount = 0; await showMessage(`Saving file '${workflow.currentFilename}' failed after multiple attempts. Check your connection and try again.`); diff --git a/sass/base/_base.scss b/sass/base/_base.scss index 24c2fc9c..60d964e5 100644 --- a/sass/base/_base.scss +++ b/sass/base/_base.scss @@ -107,4 +107,4 @@ h5 { } } } -} \ No newline at end of file +} diff --git a/sass/layout/_themes.scss b/sass/layout/_themes.scss index 7e11b1eb..500f1fd5 100644 --- a/sass/layout/_themes.scss +++ b/sass/layout/_themes.scss @@ -7,7 +7,7 @@ --plotter-background: #777; --border-style: none; --terminal-text-color: #ddd; - --puctuation-color: #fff; + --punctuation-color: #fff; --operator-color: #f3f3f3; --gutter-color: #292a2b; --gutter-active-line-color: #222227; @@ -23,7 +23,7 @@ --plotter-background: #ccc; --border-style: 1px solid #{$gray-border}; --terminal-text-color: #333; - --puctuation-color: #000; + --punctuation-color: #000; --gutter-color: #ddd; --gutter-active-line-color: #ccc; --gutter-text-color: #222; @@ -155,7 +155,7 @@ } .tok-punctuation { - color: var(--puctuation-color); + color: var(--punctuation-color); } .tok-number {