From 44261f2a1259f8888d8898faea97c371ed2dc28c Mon Sep 17 00:00:00 2001
From: Jean Pierre Cimalando <jp-dev@inbox.ru>
Date: Tue, 11 May 2021 18:18:02 +0200
Subject: [PATCH] Refresh the entire editor after a theme change

---
 plugins/editor/src/editor/Editor.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugins/editor/src/editor/Editor.cpp b/plugins/editor/src/editor/Editor.cpp
index 6c3d72e3..0671a6c8 100644
--- a/plugins/editor/src/editor/Editor.cpp
+++ b/plugins/editor/src/editor/Editor.cpp
@@ -1998,4 +1998,5 @@ void Editor::Impl::onThemeChanged()
         if (function)
             function();
     }
+    frame_->invalid();
 }