Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Handle files.autoSave options onFocusChange and onWindowChange #10812

Open
colin-grant-work opened this issue Feb 28, 2022 · 0 comments
Open

Handle files.autoSave options onFocusChange and onWindowChange #10812

colin-grant-work opened this issue Feb 28, 2022 · 0 comments
Labels
editor issues related to the editor preferences issues related to preferences

Comments

@colin-grant-work
Copy link
Contributor

colin-grant-work commented Feb 28, 2022 •
edited
Loading

Feature Description:

The VSCode preference files.autoSave (currently editor.autoSave in Theia) has four options: off, afterDelay, onFocusChange, onWindowChange.

As of v1.24, Theia supports those options, but treats all options other than off as equivalent to afterDelay. We should implement proper handling for onFocusChange and onWindowChange.
@colin-grant-work colin-grant-work added preferences issues related to preferences editor issues related to the editor labels Feb 28, 2022
@colin-grant-work colin-grant-work mentioned this issue Feb 28, 2022
Merged
1 task
@kittaakos kittaakos mentioned this issue Apr 11, 2022
Merged
4 tasks
@colin-grant-work colin-grant-work mentioned this issue Jun 29, 2022
Closed
@colin-grant-work colin-grant-work changed the title Handle more files.autoSave / editor.autoSave options Handle editor.autoSave options onFocusChange and onWindowChange Jun 29, 2022
@colin-grant-work colin-grant-work changed the title Handle editor.autoSave options onFocusChange and onWindowChange Handle files.autoSave options onFocusChange and onWindowChange Jun 29, 2022
@msujew msujew mentioned this issue Jul 25, 2022
Closed
@jfaltermeier jfaltermeier mentioned this issue Jul 26, 2023
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
editor issues related to the editor preferences issues related to preferences
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@colin-grant-work