From dd0aab70842af262b044772d95297dc44de96fb6 Mon Sep 17 00:00:00 2001
From: Andrey <bykinandrey@gmail.com>
Date: Tue, 28 Mar 2017 11:38:44 -0400
Subject: [PATCH] Fix #1907: menus don't have a dark theme anymore

---
 src/view/ThemeManager.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/view/ThemeManager.js b/src/view/ThemeManager.js
index e75f368fa1f..db79e2ed971 100644
--- a/src/view/ThemeManager.js
+++ b/src/view/ThemeManager.js
@@ -237,6 +237,7 @@ define(function (require, exports, module) {
                     return result.content;
                 })
                 .then(function (cssContent) {
+                    $("body").toggleClass("dark", theme.dark);
                     styleNode.text(cssContent);
                     $("body").attr('data-theme',theme.name);
                     pending.resolve(theme);