1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-12 13:20:55 +00:00

Merge pull request #17059 from Jason0214/BugFix_favorite_updating

Editor:   update favorite dirs when dir got deleted
This commit is contained in:
Rémi Verschelde
2018-05-02 10:53:31 +02:00
committed by GitHub
3 changed files with 47 additions and 24 deletions

View File

@@ -1027,6 +1027,7 @@ void EditorFileDialog::invalidate() {
if (is_visible_in_tree()) {
update_file_list();
_update_favorites();
invalidated = false;
} else {
invalidated = true;