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

Remove the highlight occurrences option from the find widget #26

Closed

juanis2112 opened this issue Nov 10, 2020 · 0 comments · Fixed by spyder-ide/spyder#14665

Assignees

Labels

ready-for-implementation spyder5

Contributor

juanis2112 commented Nov 10, 2020

With our new palette for highlighting we won't need this option anymore

juanis2112 added the ready-for-implementation label

juanis2112 added the spyder5 label

juanis2112 self-assigned this

juanis2112 mentioned this issue

PR: Remove highlight matches button from find widget spyder-ide/spyder#14632

Closed

3 tasks

juanis2112 mentioned this issue

PR: Add palette files with color roles spyder-ide/spyder#14665

Merged

3 tasks

ccordoba12 closed this as completed in spyder-ide/spyder#14665

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