-
-
Notifications
You must be signed in to change notification settings - Fork 468
Open
Labels
topic: themeRelated to GUI themingRelated to GUI themingtype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project
Description
Describe the problem
The quick input fuzzy match highlighting could be better for the selected elements with the Arduino light theme. It's hard to read.
To reproduce
- Use the Light Arduino theme,
- Search for a command from the command palette
quick_input_fuzzy_match.mp4
Expected behavior
The fuzzy match highlight is visible with the Arduino dark theme:
quick_pick_dark_theme.mp4
Arduino IDE version
2.0.3
Operating system
Linux
Operating system version
Ubuntu 22.4
Additional context
No response
Issue checklist
- I searched for previous reports in the issue tracker
- I verified the problem still occurs when using the latest nightly build
- My report contains all necessary details
Metadata
Metadata
Assignees
Labels
topic: themeRelated to GUI themingRelated to GUI themingtype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project