Merge pull request +15821 from c9/ide-ace-tab-color

fix ace gutter and tab color not matching in flat-light theme
This commit is contained in:
Matthijs van Henten 2017-11-15 14:11:19 +01:00 committed by GitHub
commit d1eef0ab89

View File

@ -547,6 +547,10 @@ define(function(require, exports, module) {
layout.on("themeChange", function(e) {
setFontSmoothing();
// reset this, since main theme can override ace theme colors
themeLoaded = {};
lastTheme = null;
setTheme(settings.get("user/ace/@theme"));
if (e.type !== "ace"
&& settings.get("user/ace/@theme") != defaultThemes[e.oldTheme])