Skip to content

1723 unable to open directory with new file#1724

Merged
alex-courtis merged 2 commits intomasterfrom
1723-unable-to-open-directory-with-new-file
Nov 5, 2022
Merged

1723 unable to open directory with new file#1724
alex-courtis merged 2 commits intomasterfrom
1723-unable-to-open-directory-with-new-file

Conversation

@alex-courtis
Copy link
Member

closes #1723

find-file

  • search root node
  • always expand / populate nodes to refresh unwatched contents

@alex-courtis alex-courtis merged commit be2ccd4 into master Nov 5, 2022
@alex-courtis
Copy link
Member Author

Failing for update_focused_file.enabled and renderer.group_empty

@alex-courtis alex-courtis deleted the 1723-unable-to-open-directory-with-new-file branch December 16, 2022 04:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

find_file For New File Leaves Node In Inconsistent State

1 participant