let logListener =
{
new Logger.IListener with
- member this.NewEntry severity mess =
+ member this.NewEntry severity _header mess =
win.Dispatcher.Invoke(fun () ->
win.textLog.Inlines.Add(Documents.Run(mess))
win.textLog.Inlines.Add(Documents.LineBreak())
| Some results ->
for id, cells in results do
state.SetResult (int id) cells
- Logger.Log.User("All analyses terminated successfully")
+ Logger.Log.Info "All analyses terminated successfully"
atLeastOneAnalysisPerformed <- true
analysisPerformed <- true
| None ->
- Logger.Log.User("Analysis aborted")
+ Logger.Log.Info "Analysis aborted"
win.Dispatcher.Invoke(fun () ->
win.progress.Value <- if maybeResults.IsSome then 100. else 0.