1 files changed, 1 insertions, 1 deletions

diff --git a/src/Workspace.hh b/src/Workspace.hh
index c2b02f3..90c57d0 100644
--- a/src/Workspace.hh
+++ b/src/Workspace.hh
@@ -57,7 +57,7 @@ public:
     ///   Set workspace name
     void setName(const std::string &name);
     void showAll();
-    void hideAll();
+    void hideAll(bool interrupt_moving);
     void removeAll();
     void reconfigure();
     void shutdown();