From 927fe32f0799faf5806ce7a0782825a0e46e405b Mon Sep 17 00:00:00 2001 From: yann300 Date: Mon, 11 Dec 2017 15:43:34 +0100 Subject: [PATCH] remove comments --- src/app/editor/editor.js | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js index a46bcac951..d8c2b69e9c 100644 --- a/src/app/editor/editor.js +++ b/src/app/editor/editor.js @@ -20,17 +20,9 @@ function setTheme (cb) { } setTheme((path, theme) => { - // require(path + theme) require('brace/theme/tomorrow_night_blue') }) - // editor.setTheme(styleguide.aceTheme) ==> where styleguide.aceTheme is 'ace/theme/tomorrow_night_blue' - // var themeIs = 'brace/theme/' + styles.appProperties.aceTheme - // var themeIs = 'brace/theme/' + 'tomorrow_night_blue' - // console.log(themeIs) - // require(`${themeIs}`) - // require('brace/theme/tomorrow_night_blue') - var css = csjs` .ace-editor { background-color : ${styles.editor.backgroundColor_Editor};