Frame width depends now from the RBC sizes #275

[master-thesis.git] / Parasitemia / ParasitemiaUI / Utils.fs

diff --git a/Parasitemia/ParasitemiaUI/Utils.fs b/Parasitemia/ParasitemiaUI/Utils.fs
index 97c7425..8635bcd 100644 (file)
--- a/Parasitemia/ParasitemiaUI/Utils.fs
+++ b/Parasitemia/ParasitemiaUI/Utils.fs
@@ -49,7 +49,7 @@ let predefinedPPI : PredefinedPPI list =
         use file = new StreamReader (predefinedPPIFilepath)
         JsonConvert.DeserializeObject<PredefinedPPI list> (file.ReadToEnd ())
     with
-    | ex ->
+    | _ex ->
         savePredefinedPPIToFile defaultPredefinedPPI
         defaultPredefinedPPI
 
@@ -58,6 +58,6 @@ let sensorSizes : SensorSize list =
         use file = new StreamReader (sensorSizesFilepath)
         JsonConvert.DeserializeObject<SensorSize list> (file.ReadToEnd ())
     with
-    | ex ->
+    | _ex ->
         saveSensorSizesToFile defaultSensorSizes
         defaultSensorSizes