jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-13 20:29:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
425 Commits 31 Branches 52 Tags
2bd9eef1464a64f68c614d0be65de98f76f1f749
Commit Graph

2 Commits

Author SHA1 Message Date
Miro Spönemann
1aa944b25e More robust workspace initialization: guard against errors creating sketch dir 2020-01-20 16:48:24 +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