From 8e6aaf29e08de55578e7c43cdd555090bbd855f7 Mon Sep 17 00:00:00 2001
From: Bruno Herbelin <bruno.herbelin@gmail.com>
Date: Sun, 11 Dec 2022 13:26:28 +0100
Subject: [PATCH] BugFix WorkspaceWindow toggle

---
 src/UserInterfaceManager.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/UserInterfaceManager.cpp b/src/UserInterfaceManager.cpp
index 8d774ef..4aa509f 100644
--- a/src/UserInterfaceManager.cpp
+++ b/src/UserInterfaceManager.cpp
@@ -1972,10 +1972,10 @@ WorkspaceWindow::WorkspaceWindow(const char* name): name_(name), impl_(nullptr)
 
 void WorkspaceWindow::toggleClearRestoreWorkspace()
 {
-    // do not toggle if an animation is ongoing
+    // stop animations that are ongoing
     for(auto it = windows_.cbegin(); it != windows_.cend(); ++it) {
         if ( (*it)->impl_ && (*it)->impl_->animation )
-            return;
+            (*it)->impl_->animation = false;
     }
 
     // toggle