Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Due to possible parallel analysis of the changing of the preference page and the editor being opened, it is changed to close the file before doing changes and then re-opening to trigger analyses synchronously. RedDeer is to fast when it comes to UI actions.
- Loading branch information