You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-09 12:50:35 +00:00
Merge pull request #112141 from YeldhamDev/whats_up_doc
Update documentation pages when switching themes
This commit is contained in:
@@ -3315,6 +3315,12 @@ void EditorHelp::_notification(int p_what) {
|
|||||||
|
|
||||||
case NOTIFICATION_THEME_CHANGED: {
|
case NOTIFICATION_THEME_CHANGED: {
|
||||||
if (is_inside_tree()) {
|
if (is_inside_tree()) {
|
||||||
|
if (is_visible_in_tree()) {
|
||||||
|
_update_doc();
|
||||||
|
} else {
|
||||||
|
update_pending = true;
|
||||||
|
}
|
||||||
|
|
||||||
_class_desc_resized(true);
|
_class_desc_resized(true);
|
||||||
}
|
}
|
||||||
update_toggle_files_button();
|
update_toggle_files_button();
|
||||||
|
|||||||
Reference in New Issue
Block a user