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

Focus doesn't go to the selected entry in file switcher when filtering #4636

Closed

ccordoba12 opened this issue Jun 22, 2017 · 1 comment

Assignees

Labels

component:Main Window type:Bug

Milestone

Member

ccordoba12 commented Jun 22, 2017 •

edited

Loading

There are two minor bugs I saw after PR #4626:

If you write some text to filter your files/notebooks, the selected entry remains in the plugin title, instead of the file/notebook itself. This is a screenshot to show what I mean:
In the screenshot you can also see that there's too much padding above the Editor title (at least for me on Linux). Please try to remove some of that padding.

ccordoba12 added component:Main Window type:Bug labels

ccordoba12 added this to the v3.2 milestone

ccordoba12 assigned dalthviz

Member Author

ccordoba12 commented Jun 22, 2017

@dalthviz, please work on this one.

dalthviz mentioned this issue

PR: Give focus to the right entry in the file switcher #4637

Merged

ccordoba12 closed this as completed in

650c783

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment