Remove the highlight occurrences option from the find widget

spyder-ide / ux-improvements

Discussion about UX improvements for Spyder 5 and beyond

4 stars 2 forks source link

Closed juanis2112 closed 3 years ago

juanis2112 commented 3 years ago

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