-
-
Notifications
You must be signed in to change notification settings - Fork 489
Pull requests: arduino/arduino-ide
Pull requests list
fix: restore Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
window.titleBarStyle and breadcrumbs.enabled
topic: code
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.