jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-12 11:49:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
d7a2d8399006fa7caf4eb4641a276eaa0761c1a2
arduino-ide/arduino-ide-extension/src/browser/theia/messages
History
Francesco Spissu d7a2d83990 Update buttons style (#1122) 
* Buttons updated to reflect the design system.
2022-07-08 10:43:10 +02:00
..
notification-center-component.tsx
Speed up IDE startup time.
2022-06-07 13:46:29 +02:00
notification-component.tsx
Update buttons style (#1122)
2022-07-08 10:43:10 +02:00
notification-toasts-component.tsx
Speed up IDE startup time.
2022-06-07 13:46:29 +02:00
notifications-manager.ts
Speed up IDE startup time.
2022-06-07 13:46:29 +02:00
notifications-renderer.tsx
Speed up IDE startup time.
2022-06-07 13:46:29 +02:00