diff --git a/RaftFable/src/Ui.fs b/RaftFable/src/Ui.fs index 9185815..e4dd7e9 100644 --- a/RaftFable/src/Ui.fs +++ b/RaftFable/src/Ui.fs @@ -192,8 +192,7 @@ module Ui = [ 0 .. state.ClusterSize - 1 ] |> List.map (fun i -> if userPrefs.ShowConsumedMessages then - state.AllMessages.[i] - |> List.indexed + state.AllMessages.[i] |> List.indexed else state.UndeliveredMessages.[i] |> List.map (fun (messageId, message) -> @@ -325,5 +324,5 @@ module Ui = let getUserPrefs (ui : UiElements) : UserPreferences = { LeaderUnderConsideration = ui.SelectedLeaderId.valueAsNumber |> int |> (fun i -> i * 1) - ShowConsumedMessages = ui.ShowConsumedMessages.checked + ShowConsumedMessages = ui.ShowConsumedMessages.``checked`` } diff --git a/dotnet-tools.json b/dotnet-tools.json index 8167fae..26cf93a 100644 --- a/dotnet-tools.json +++ b/dotnet-tools.json @@ -3,7 +3,7 @@ "isRoot": true, "tools": { "fantomas": { - "version": "5.0.6", + "version": "5.1.0", "commands": [ "fantomas" ]