Handle refresh request

2023-01-28 15:50:09 +01:00
parent 05e4baef7e
commit 410c919e2e
5 changed files with 69 additions and 5 deletions
--- a/src/Core/FileTime.Core.Timeline/CommandScheduler.cs
+++ b/src/Core/FileTime.Core.Timeline/CommandScheduler.cs
@@ -22,7 +22,7 @@ public class CommandScheduler : ICommandScheduler
    {
        get
        {
-            bool result = true;
+            var result = true;
            RunWithLock(() => result = _enableRunning);
            return result;
        }
@@ -33,7 +33,7 @@ public class CommandScheduler : ICommandScheduler
    public CommandScheduler(ILocalCommandExecutor localExecutor)
    {
        ContainerToRefresh = _containerToRefresh.AsObservable();
-        
+
        localExecutor.CommandFinished += LocalExecutorOnCommandFinished;
        _commandExecutors.Add(localExecutor);
    }