diff --git a/config/preferences.json b/config/preferences.json index a8c45d83..fc1270ce 100644 --- a/config/preferences.json +++ b/config/preferences.json @@ -34,7 +34,11 @@ "style" : 1, "size" : 13 }, - "fontTerminal" : null, + "fontTerminal" : { + "name" : "Monospaced", + "style" : 0, + "size" : 14 + }, "tabSize" : 4, "contentWidth" : 0, "editorBackground" : null, @@ -51,14 +55,14 @@ "scanPlotDisabled" : false, "scanTableDisabled" : false, "cachedDataPanel" : true, - "dataExtensions" : null, + "dataExtensions" : "", "hideFileName" : false, "showEmergencyStop" : false, "showHomingButtons" : false, "showJogButtons" : false, "hideScanPanel" : false, "hideOutputPanel" : false, - "showXScanFileBrowser" : false, + "showXScanFileBrowser" : true, "showXScanDataViewer" : false, "showQueueBrowser" : false, "backgroundRendering" : false, diff --git a/config/variables.properties b/config/variables.properties index 573dc814..bfa4444b 100644 --- a/config/variables.properties +++ b/config/variables.properties @@ -1,4 +1,4 @@ -#Tue Jul 05 11:25:25 CEST 2022 +#Tue Jul 05 11:40:16 CEST 2022 LastRunDate=220705 -FileSequentialNumber=13234 -DaySequentialNumber=14 +FileSequentialNumber=13237 +DaySequentialNumber=17