diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-22 12:00:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-22 12:00:00 +0200 |
commit | a2871cc06b4acaf9b0f4a5e4cd4c99bc826ab059 (patch) | |
tree | 86f66dab26112c6261e4063f107418b13d475eba | |
parent | 3564547208030264a28cc55232992aab3cbdad94 (diff) | |
parent | c1bd94c2a4da71d7423bf434a9fe755bfd7bf25c (diff) |
Merge pull request #32846 from Chaosus/fix_doc_color
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; } } |