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.

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

move find widget's match counter to a better spot #2033

Closed
weinand opened this issue Jan 14, 2016 · 2 comments
Closed

move find widget's match counter to a better spot #2033

weinand opened this issue Jan 14, 2016 · 2 comments
Assignees
Milestone

Comments

@weinand
Copy link
Contributor

weinand commented Jan 14, 2016

I like the match counter but I think it is placed in an unfortunate location:

2016-01-14 20-32-28

It lives in the white text box but in contrast to all other elements in that box it takes no user input. In addition it makes the editable area even smaller and clutters the UI.

Could we find a better spot?

In addition the matcher counter is clipped on OS X:

2016-01-14 20-46-34

CC @stevencl

@weinand weinand changed the title move find widget's occurrence counter to a better spot move find widget's match counter to a better spot Jan 14, 2016
@stevencl
Copy link
Member

See this issue for a discussion about this: #1476

@weinand
Copy link
Contributor Author

weinand commented Jan 14, 2016

@stevencl great, that discussion covers my issues. I'm closing this one.

@weinand weinand closed this as completed Jan 14, 2016
@egamma egamma mentioned this issue Jan 23, 2016
59 tasks
@alexdima alexdima added this to the Jan 2016 milestone Jan 25, 2016
@egamma egamma mentioned this issue Feb 1, 2016
97 tasks
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants