Updated (color of indent guide in Web IDE

Closes #48931
2018-07-06 11:56:27 +01:00 · 2018-07-06 11:56:27 +01:00 · c0387ff638
commit c0387ff638
parent 68d138e85e
1 changed files with 1 additions and 0 deletions
--- a/app/assets/javascripts/ide/lib/themes/gl_theme.js
+++ b/app/assets/javascripts/ide/lib/themes/gl_theme.js
@ -9,6 +9,7 @@ export default {
      'diffEditor.insertedTextBackground': '#ddfbe6',
      'diffEditor.removedTextBackground': '#f9d7dc',
      'editor.selectionBackground': '#aad6f8',
+      'editorIndentGuide.activeBackground': '#bababa',
    },
  },
 };