-
-
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!
Type g p on any issue or pull request to go back to the pull request listing page.