X-Git-Url: http://git.euphorik.ch/?p=master-thesis.git;a=blobdiff_plain;f=Parasitemia%2FParasitemiaUI%2FUtils.fs;h=5b3ba712f4fb2da9af9da254411937e87be2448f;hp=6579cd61dfc26bc772eaf43a23f90648f19a51da;hb=b87b35b922551f122228df1fd9c530bbb807935a;hpb=2e3cd07dd099944059ef5e7a7f5ef57ffe3d677b

diff --git a/Parasitemia/ParasitemiaUI/Utils.fs b/Parasitemia/ParasitemiaUI/Utils.fs
index 6579cd6..5b3ba71 100644
--- a/Parasitemia/ParasitemiaUI/Utils.fs
+++ b/Parasitemia/ParasitemiaUI/Utils.fs
@@ -7,12 +7,11 @@ open Newtonsoft.Json.Converters
 
 open Types
 
-let listAsStr (s: 'a seq) =
+let listAsStr (s : 'a seq) =
     s |> Seq.fold (fun acc obj -> acc + (if acc = "" then "" else ", ") + obj.ToString()) ""
 
-let percentText (nbTotal: int, nb: int) : string =
-    if nbTotal = 0
-    then
+let percentText (nbTotal : int, nb : int) : string =
+    if nbTotal = 0 then
         ""
     else
         let percent = 100. * (float nb) / (float nbTotal)
@@ -27,7 +26,7 @@ let predefinedPPIFilepath = Path.Combine(roamingDir, predefinedPPIFilename)
 let sensorSizesFilename = "sensor-sizes.json"
 let sensorSizesFilepath = Path.Combine(roamingDir, sensorSizesFilename)
 
-let private savePredefinedPPIToFile (predefinedPPI: PredefinedPPI list) =
+let private savePredefinedPPIToFile (predefinedPPI : PredefinedPPI list) =
     try
         use file = new StreamWriter(predefinedPPIFilepath)
         file.Write(JsonConvert.SerializeObject(predefinedPPI, JsonSerializerSettings(Formatting = Formatting.Indented)))
@@ -35,7 +34,7 @@ let private savePredefinedPPIToFile (predefinedPPI: PredefinedPPI list) =
         ex ->
             Logger.Log.Error("Unable to save predefined PPI to file \"{0}\": {1}", predefinedPPIFilepath, ex)
 
-let private saveSensorSizesToFile (sensorSizes: SensorSize list) =
+let private saveSensorSizesToFile (sensorSizes : SensorSize list) =
     try
         use file = new StreamWriter(sensorSizesFilepath)
         file.Write(JsonConvert.SerializeObject(sensorSizes, JsonSerializerSettings(Formatting = Formatting.Indented)))