-
-
Notifications
You must be signed in to change notification settings - Fork 514
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!
Adding no:label will show everything without a label.