jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-05-16 09:58:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
arduino-ide/arduino-ide-extension/src/browser/editor
History
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
..
arduino-monaco-editor-provider.ts
PROEDITOR-50: Customized the editor for built-ins
2019-09-20 15:10:38 +02:00