-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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.
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
[shell] transfer focus to next widget if the focused widget is closed #2234
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
shell
issues related to the core shell
Comments
It would be good to focus the least recently focussed widget, when the one with focus gets closed. |
The most annoying thing is when you do Alt+W again the |
akosyakov
added
enhancement
issues that are enhancements to current functionality - nice to haves
editor
issues related to the editor
labels
Nov 12, 2018
akosyakov
added
shell
issues related to the core shell
and removed
editor
issues related to the editor
labels
Apr 30, 2020
akosyakov
changed the title
[editor] Editor not focused when one is closed
[shell] transfer focus to next widget if the focused widget is closed
Apr 30, 2020
akosyakov
added a commit
to akosyakov/theia
that referenced
this issue
May 1, 2020
…ets closed support next/previous tab group commands support next/previous tab in group commands Signed-off-by: Anton Kosyakov <[email protected]>
akosyakov
added a commit
to akosyakov/theia
that referenced
this issue
May 1, 2020
…ets closed support next/previous tab group commands support next/previous tab in group commands Signed-off-by: Anton Kosyakov <[email protected]>
akosyakov
added a commit
to akosyakov/theia
that referenced
this issue
May 4, 2020
…ets closed support next/previous tab group commands support next/previous tab in group commands Signed-off-by: Anton Kosyakov <[email protected]>
akosyakov
added a commit
that referenced
this issue
May 6, 2020
support next/previous tab group commands support next/previous tab in group commands Signed-off-by: Anton Kosyakov <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
shell
issues related to the core shell
Using Theia master (8a5132e), browser and electron examples.
The text was updated successfully, but these errors were encountered: