GitHub / arduino/arduino-ide issues and pull requests
Labelled with: phase: design
#2022 - IDE2 shows `Arduino IDE` > `Settings` menu instead of `Arduino IDE` > `Preferences...` on macOS Ventura (13.x)
Issue -
State: open - Opened by kittaakos over 2 years ago
- 1 comment
Labels: topic: code, os: macos, type: imperfection, phase: design
#1782 - IDE2 shows `SOCKS5` instead of `SOCKS` in the `Settings` > `Network` tab
Issue -
State: closed - Opened by kittaakos almost 3 years ago
- 1 comment
Labels: topic: code, type: imperfection, phase: design
#14 - Improve communication of no debugger support when accessed via the activity bar
Issue -
State: closed - Opened by per1234 almost 5 years ago
- 1 comment
Labels: type: enhancement, topic: code, topic: debugger, phase: design, criticality: medium