From 173d9bf589046218b3593bb49c1f1c453ad9947f Mon Sep 17 00:00:00 2001
From: Brian Potchik <brian@vector35.com>
Date: Thu, 9 May 2019 16:24:59 -0400
Subject: Fix widget visibility state in the application menu.

---
 ui/dockhandler.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ui/dockhandler.h b/ui/dockhandler.h
index bdce1c6f..d02a41fe 100644
--- a/ui/dockhandler.h
+++ b/ui/dockhandler.h
@@ -114,7 +114,11 @@ public:
 
 	static DockHandler* getActiveDockHandler();
 
+Q_SIGNALS:
+	void notifyVisibilityChanged();
+
 public Q_SLOTS:
 	void viewChanged(ViewFrame* frame);
+	void visibilityChanged(bool visible);
 	void topLevelChanged(bool topLevel);
 };
-- 
cgit v1.3.1