mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-08 18:08:33 +00:00
More refactoring. Splitting up code.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
@@ -37,7 +37,9 @@
|
||||
"applicationName": "Arduino Pro IDE",
|
||||
"defaultTheme": "arduino-theme",
|
||||
"preferences": {
|
||||
"editor.autoSave": "on"
|
||||
"editor.autoSave": "on",
|
||||
"editor.minimap.enabled": false,
|
||||
"editor.scrollBeyondLastLine": false
|
||||
}
|
||||
}
|
||||
},
|
||||
|
||||
Reference in New Issue
Block a user