jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-05-24 05:46:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
601 Commits 27 Branches 52 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
Akos Kitta
f605994d7d fixed duplicate preferences menu item. 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2020-08-19 10:50:52 +02:00
Akos Kitta
06c3015158 updated to 1.14.0 theia. 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2020-08-19 10:50:51 +02:00
Akos Kitta
bbf880d187 redesigned the settings menu group. 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2020-07-20 22:02:54 +02:00
Akos Kitta
537291b494 Pulled in @theia/preferences, removed @theia/cpp 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2020-07-20 14:24:17 +02:00