diff options
| author | Phil Hughes <me@iamphill.com> | 2018-07-06 13:56:27 +0300 |
|---|---|---|
| committer | Phil Hughes <me@iamphill.com> | 2018-07-06 13:56:27 +0300 |
| commit | c0387ff6387eb03931441591dabf6baf2954187a (patch) | |
| tree | 2cd5dc9ad5a1ac8105f384c371eddfe876d82db6 /app/assets/javascripts/ide/lib | |
| parent | 68d138e85e3263959700d16eab7d9ab3e883f7f8 (diff) | |
Updated (color of indent guide in Web IDE
Closes #48931
Diffstat (limited to 'app/assets/javascripts/ide/lib')
| -rw-r--r-- | app/assets/javascripts/ide/lib/themes/gl_theme.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/assets/javascripts/ide/lib/themes/gl_theme.js b/app/assets/javascripts/ide/lib/themes/gl_theme.js index 2fc96250c7d..15f88ad43f7 100644 --- 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', }, }, }; |