diff options
author | Yuri Roubinsky <chaosus89@gmail.com> | 2019-10-15 09:54:28 +0300 |
---|---|---|
committer | Yuri Roubinsky <chaosus89@gmail.com> | 2019-10-15 09:54:28 +0300 |
commit | c1bd94c2a4da71d7423bf434a9fe755bfd7bf25c (patch) | |
tree | 7d013eab51f3e3aefb30bfec76365c15636ed876 | |
parent | 48d3458f74ee3a5c0596c905b72b52af612cde87 (diff) |
Fix incorrect coloring of in-editor documentation when theme changed
-rw-r--r-- | editor/editor_help.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/editor_help.cpp b/editor/editor_help.cpp index 4a1e93eaad..e4f64597b1 100644 --- a/editor/editor_help.cpp +++ b/editor/editor_help.cpp @@ -1467,6 +1467,10 @@ void EditorHelp::_notification(int p_what) { _update_doc(); } break; + case NOTIFICATION_THEME_CHANGED: { + + _class_desc_resized(); + } break; default: break; } } |