-
-
Notifications
You must be signed in to change notification settings - Fork 7k
Pull requests: arduino/Arduino
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Improve LibraryManager Dialog rendering
Component: Board/Lib Manager
Boards Manager or Library Manager
#10254
opened May 21, 2020 by
ricardojlrufino
2 tasks done
[editor] Allow formatting only the selection
#10204
opened May 14, 2020 by
ricardojlrufino
•
Approved
2 tasks done
Allow install Theme from Preferences dialog
#10202
opened May 13, 2020 by
ricardojlrufino
3 of 7 tasks
ProTip!
Adding no:label will show everything without a label.