jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-04-27 08:47:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
arduino-ide/arduino-ide-extension/src/browser
History
Akos Kitta 12deceef19 got rid of the border when not focused/selected 
it does not remove the border but uses the background of the container.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-12-10 12:02:16 +01:00
..
boards
Removed more logic from the widget.
2019-12-10 12:02:16 +01:00
components
Fixed a selection bug after installing a core/lib
2019-11-22 17:09:45 +01:00
customization
Fixed layout initialization.
2019-12-10 12:01:54 +01:00
data
Syntax coloring
2019-07-17 18:40:48 +02:00
editor
PROEDITOR-50: Customized the editor for built-ins
2019-09-20 15:10:38 +02:00
icons
Adapted Dark, Light and Arduino themes
2019-09-11 11:55:29 +02:00
language
Restart the LS on core install/remove.
2019-11-22 17:09:45 +01:00
library
Generalized the list item renderers.
2019-11-22 17:09:45 +01:00
markers
PROEDITOR-50: Customized the editor for built-ins
2019-09-20 15:10:38 +02:00
menu
Cleaned up the menu contributions.
2019-09-26 10:15:30 +02:00
monitor
fix the react-select styling
2019-12-10 12:02:16 +01:00
shell
Fixed storeLayout when toggling the editor mode.
2019-11-22 17:09:45 +01:00
style
got rid of the border when not focused/selected
2019-12-10 12:02:16 +01:00
tool-output
slightly better reconnecting experience.
2019-12-10 12:01:54 +01:00
toolbar
Adapted Dark, Light and Arduino themes
2019-09-11 11:55:29 +02:00
arduino-commands.ts
show advanced mode button in top panel
2019-09-04 09:07:57 +02:00
arduino-frontend-contribution.tsx
[rewrite-me]: initial serial monitor changes
2019-12-10 12:01:53 +01:00
arduino-frontend-module.ts
a few bugfixes. updated grpc dependencies.
2019-12-10 12:01:54 +01:00
arduino-theme.ts
Updated to next (0.13.0-next.145f9137) Theia.
2019-11-25 09:16:22 +01:00
arduino-workspace-resolver.ts
PROEDITOR-53: Changed the way we set the workspace
2019-10-25 11:48:24 +02:00
arduino-workspace-service.ts
Made the editor mode dynamic.Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-11-22 17:09:45 +01:00
editor-mode.ts
Corrected the docs.
2019-11-22 17:09:45 +01:00
workspace-service-ext-impl.ts
Reverted an obsolete change.
2019-05-08 22:31:09 +02:00
workspace-service-ext.ts
Changed the way we init default locations.
2019-05-08 22:31:09 +02:00