From c65107388c44e053062306fdec07caddbd8167a1 Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Wed, 15 Nov 2017 00:09:55 +0400
Subject: [PATCH] fix ace gutter and tab color not matching in flat-light theme

---
 plugins/c9.ide.ace/ace.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/plugins/c9.ide.ace/ace.js b/plugins/c9.ide.ace/ace.js
index 68a92f9f..32f710be 100644
--- a/plugins/c9.ide.ace/ace.js
+++ b/plugins/c9.ide.ace/ace.js
@@ -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])