From d8ba79c6892c1313d7040569a95d9b3b120e7bd5 Mon Sep 17 00:00:00 2001 From: Joe Lillibridge Date: Wed, 30 Oct 2024 08:57:13 -0500 Subject: [PATCH] wip --- .arduinoIDE/settings.json | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .arduinoIDE/settings.json diff --git a/.arduinoIDE/settings.json b/.arduinoIDE/settings.json new file mode 100644 index 0000000..bdae272 --- /dev/null +++ b/.arduinoIDE/settings.json @@ -0,0 +1,18 @@ +{ + "window.titleBarStyle": "native", + "editor.fontSize": 12, + "workbench.colorTheme": "arduino-theme", + "files.autoSave": "afterDelay", + "editor.quickSuggestions": { + "other": false, + "comments": false, + "strings": false + }, + "arduino.window.autoScale": true, + "window.zoomLevel": 0, + "arduino.compile.verbose": false, + "arduino.compile.warnings": "None", + "arduino.upload.verbose": false, + "arduino.upload.verify": false, + "arduino.sketchbook.showAllFiles": false +} \ No newline at end of file