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

Linter takes over focus when dock opened #582

Closed
UziTech opened this issue Aug 5, 2020 · 1 comment · Fixed by #583
Closed

Linter takes over focus when dock opened #582

UziTech opened this issue Aug 5, 2020 · 1 comment · Fixed by #583

Comments

@UziTech
Copy link
Contributor

UziTech commented Aug 5, 2020 •
edited
Loading

If Linter is in the bottom dock but the dock is not open then another item is opened in the bottom dock, Linter takes the focus away from the opened item.

linter-1

Also if the bottom dock has multiple items (including Linter) and another item is focused then the dock is closed and reopened the item that was previously focused should still be focused.

linter-2
@UziTech UziTech mentioned this issue Aug 5, 2020
Merged
@UziTech
Copy link
Contributor Author

UziTech commented Aug 5, 2020

It looks like this might be a regression of something that was fixed in v1.5.0

1.5.0

...
Do not focus Linter dock on open (less UI clutter)

@UziTech UziTech mentioned this issue Aug 5, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

prevent stealing focus from other panes UziTech/linter-ui-default
1 participant
@UziTech