From e0416905fc17bb782fa8cfbf0bc60a9e8ce20c12 Mon Sep 17 00:00:00 2001 From: Rob Garrison Date: Sat, 21 Jul 2018 09:39:01 -0500 Subject: [PATCH] Fix codemirror theme comment spacing --- edit/codemirror-editing-hooks.js | 2 +- tools/update-codemirror-themes.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 */` ); }