jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-22 03:56:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
255 Commits 28 Branches 52 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Akos Kitta
c2008460b0 Fixed storeLayout when toggling the editor mode. 
Workaround for eclipse-theia/theia#6579.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2019-11-22 17:09:45 +01:00
Akos Kitta
daedae1ba7 PROEDITOR-50: Customized the editor for built-ins 
- From now on, sources from the `dataDir` opened in a read-only editor.
 - Disabled the tab-bar decoration for built-ins.
 - No problem markers for the built-ins.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2019-09-20 15:10:38 +02:00