Filter your search... field of Library Manager view.
Filter your search... field of Boards Manager view.
Search board field of "Select Other Board & Port" dialog.
"message" field of Serial Monitor
This is really not appropriate or useful for the type of data that will be input via any of these fields.
There isn't any context to explain what the meaning is of the red underline, so it is likely to make beginners think they are doing something wrong. It also harms readability.
To reproduce
Open the board selector menu on the Arduino IDE toolbar.
Select "Select other board and port..." from the menu.
Describe the problem
The following text input fields are spell checked:
This is really not appropriate or useful for the type of data that will be input via any of these fields.
There isn't any context to explain what the meaning is of the red underline, so it is likely to make beginners think they are doing something wrong. It also harms readability.
To reproduce
leonardoin the "Search board" field.🐛 A red underline appears under the search text:
Expected behavior
Do not spell check these fields.
Arduino IDE version
aa9b10d
Operating system
Operating system version
Issue checklist