You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-06 12:20:30 +00:00
Fix error panel auto-hiding
This commit is contained in:
@@ -1668,9 +1668,9 @@ void CodeTextEditor::set_error_count(int p_error_count) {
|
||||
error_button->set_text(itos(p_error_count));
|
||||
error_button->set_visible(p_error_count > 0);
|
||||
if (p_error_count > 0) {
|
||||
_set_show_errors_panel(false);
|
||||
idle->set_wait_time(idle_time_with_errors); // Parsing should happen sooner.
|
||||
} else {
|
||||
_set_show_errors_panel(false);
|
||||
idle->set_wait_time(idle_time);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user