mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
Update documentation pages when switching themes
This commit is contained in:
parent
2cb2c1fb5b
commit
6353f0385b
1 changed files with 6 additions and 0 deletions
|
|
@ -3315,6 +3315,12 @@ void EditorHelp::_notification(int p_what) {
|
|||
|
||||
case NOTIFICATION_THEME_CHANGED: {
|
||||
if (is_inside_tree()) {
|
||||
if (is_visible_in_tree()) {
|
||||
_update_doc();
|
||||
} else {
|
||||
update_pending = true;
|
||||
}
|
||||
|
||||
_class_desc_resized(true);
|
||||
}
|
||||
update_toggle_files_button();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue