From 0a7c5997df75455c08e951233d8b87720409c865 Mon Sep 17 00:00:00 2001
From: Sebastian Dörner <sebastian@sebastian-doerner.de>
Date: Wed, 1 Jun 2011 21:51:22 +0100
Subject: Fix problems with commit 8d789f2626243d

 - fix crash when Ctrl-D-ing in the terminal
 - don't respond to window manager actions, only when the dock itself is
   hidden

Refers to commit 8d789f2626243ddc6c763c84e582e8e20afe7689
---
 src/panels/terminal/terminalpanel.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/panels/terminal/terminalpanel.h')

diff --git a/src/panels/terminal/terminalpanel.h b/src/panels/terminal/terminalpanel.h
index 288cb05d3..cc27212e8 100644
--- a/src/panels/terminal/terminalpanel.h
+++ b/src/panels/terminal/terminalpanel.h
@@ -44,7 +44,7 @@ public:
 
 public slots:
     void terminalExited();
-    void visibilityChanged(bool visible);
+    void dockVisibilityChanged();
 
 signals:
     void hideTerminalPanel();
-- 
cgit v1.3.1