-
-
Notifications
You must be signed in to change notification settings - Fork 443
Issues: arduino/arduino-ide
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Windows installation paths are inconsistent
criticality: high
Of high impact
os: windows
Specific to Windows operating system
topic: infrastructure
Related to project infrastructure
type: imperfection
Perceived defect in any part of project
#879
opened Mar 3, 2022 by
per1234
3 tasks done
Make editor hover less intrusive
criticality: high
Of high impact
topic: language server
Related to the Arduino Language Server
type: enhancement
Proposed improvement
#21
opened Feb 15, 2021 by
per1234
Missing support for external tools / plugins
criticality: high
Of high impact
topic: code
Related to content of the project itself
type: imperfection
Perceived defect in any part of project
#58
opened Feb 12, 2021 by
szerwi
3 tasks done
As a user I want to run the Arduino IDE on both armhf and arm64 arches
architecture: arm
Specific to ARM host architecture
criticality: high
Of high impact
os: linux
Specific to Linux operating system
priority: high
Resolution is a high priority
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#107
opened Jul 8, 2020 by
kittaakos
3 tasks done
ProTip!
Follow long discussions with comments:>50.