Merge remote-tracking branch 'origin/segment-api' into mapping12soundsim

2022-07-13 12:44:43 +02:00
parent 9bec394d7f 8f72e0ab83
commit 985255afed
3 changed files with 1182 additions and 7 deletions
@@ -1,7 +1,10 @@
-{
-    // See http://go.microsoft.com/fwlink/?LinkId=827846
-    // for the documentation about the extensions.json format
-    "recommendations": [
-        "platformio.platformio-ide"
-    ]
-}
+{
+    // See http://go.microsoft.com/fwlink/?LinkId=827846
+    // for the documentation about the extensions.json format
+    "recommendations": [
+        "platformio.platformio-ide"
+    ],
+    "unwantedRecommendations": [
+        "ms-vscode.cpptools-extension-pack"
+    ]
+}
@@ -2166,6 +2166,7 @@ function saveP(i,pl)
 	}
 	populatePresets();
 	resetPUtil();
+	setTimeout(()=>{pmtLast=0; loadPresets();}, 500); // force reloading of presets
 }

 function testPl(i,bt) {