Add styles for code mirror

zalmoxisus · Jun 26, 2016 · ca20dae · ca20dae
1 parent faa296a
commit ca20dae
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 2 deletions.
diff --git a/gulpfile.babel.js b/gulpfile.babel.js
@@ -9,6 +9,12 @@ import devConfig from './webpack/dev.config';
 import prodConfig from './webpack/prod.config';
 import wrapConfig from './webpack/wrap.config';
 
+function copy(dest) {
+  gulp.src('./src/assets/**/*').pipe(gulp.dest(dest));
+  gulp.src('./node_modules/codemirror/lib/codemirror.css').pipe(gulp.dest(`${dest}/css`));
+  gulp.src('./node_modules/codemirror/theme/night.css').pipe(gulp.dest(`${dest}/css`));
+}
+
 /*
  * common tasks
  */
@@ -49,7 +55,7 @@ gulp.task('copy:dev', () => {
   gulp.src('./src/browser/extension/manifest.json')
     .pipe(rename('manifest.json'))
     .pipe(gulp.dest('./dev'));
-  gulp.src('./src/assets/**/*').pipe(gulp.dest('./dev'));
+  copy('./dev');
 });
 
 /*
@@ -83,7 +89,7 @@ gulp.task('copy:build:extension', () => {
   gulp.src('./src/browser/extension/manifest.json')
     .pipe(rename('manifest.json'))
     .pipe(gulp.dest('./build/extension'));
-  gulp.src('./src/assets/**/*').pipe(gulp.dest('./build/extension'));
+  copy('./dev');
 });
 
 gulp.task('copy:build:firefox', ['build:extension'], () => {
@@ -92,6 +98,7 @@ gulp.task('copy:build:firefox', ['build:extension'], () => {
       gulp.src('./src/browser/firefox/manifest.json')
         .pipe(gulp.dest('./build/firefox'));
     });
+  copy('./dev');
 });
 
 /*

diff --git a/src/browser/views/includes/style.jade b/src/browser/views/includes/style.jade
@@ -17,3 +17,12 @@ style.
   #root > div {
     height: 100%;
   }
+  .ReactCodeMirror {
+    overflow: auto;
+    height: 100%;
+  }
+  .CodeMirror {
+    height: 100% !important;
+  }
+link(href='/css/codemirror.css', rel="stylesheet")
+link(href='/css/night.css', rel="stylesheet")