jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-14 12:49:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
407 Commits 31 Branches 52 Tags
6bb852c6138d37eff0270e87585cb56aa218fa43
Commit Graph

3 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
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