diff --git a/edit/codemirror-editing-hooks.js b/edit/codemirror-editing-hooks.js index fbfcc244..358aca88 100644 --- a/edit/codemirror-editing-hooks.js +++ b/edit/codemirror-editing-hooks.js @@ -482,7 +482,7 @@ onDOMscriptReady('/codemirror.js').then(() => { if (!chrome.runtime.getPackageDirectoryEntry) { const themes = [ chrome.i18n.getMessage('defaultTheme'), - /* populate-theme-start*/ + /* populate-theme-start */ '3024-day', '3024-night', 'abcdef', diff --git a/tools/update-codemirror-themes.js b/tools/update-codemirror-themes.js index fd6ca447..c5debd48 100644 --- a/tools/update-codemirror-themes.js +++ b/tools/update-codemirror-themes.js @@ -19,7 +19,7 @@ function replaceThemes(content, themes) { return content.replace( /\/\*\s*populate-theme-start\s*\*\/[\s\S]+\/\*\s*populate-theme-end\s*\*\//, // strip off square brackets & first 8 spaces - `/* populate-theme-start*/\n${list.substring(2, list.length - 2)}\n /* populate-theme-end */` + `/* populate-theme-start */\n${list.substring(2, list.length - 2)}\n /* populate-theme-end */` ); }