changeset 15586:9b70d27d306e

merge in fix for bug #37637
author Torsten <ttl@justmail.de>
date Sat, 03 Nov 2012 08:58:57 +0100
parents ae0af6c664c4 (current diff) 81ff500bfb4e (diff)
children 3079b4eb57ad
files
diffstat 2 files changed, 19 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/terminal-dockwidget.cc	Sat Nov 03 06:51:48 2012 +0100
+++ b/libgui/src/terminal-dockwidget.cc	Sat Nov 03 08:58:57 2012 +0100
@@ -39,6 +39,20 @@
   connect (this, SIGNAL (topLevelChanged(bool)), this, SLOT(top_level_changed(bool)));
 }
 
+void
+terminal_dock_widget::closeEvent (QCloseEvent *e)
+{
+  emit active_changed (false);
+  QDockWidget::closeEvent (e);
+}
+
+void
+terminal_dock_widget::handle_visibility_changed (bool visible)
+{
+  if (visible)
+    emit active_changed (true);
+}
+
 // slot for signal that is emitted when floating property changes
 void
 terminal_dock_widget::top_level_changed (bool floating)
--- a/libgui/src/terminal-dockwidget.h	Sat Nov 03 06:51:48 2012 +0100
+++ b/libgui/src/terminal-dockwidget.h	Sat Nov 03 08:58:57 2012 +0100
@@ -36,13 +36,13 @@
   void active_changed (bool active);
 
 public slots:
-  void handle_visibility_changed (bool visible)
-  {
-    if (visible)
-      emit active_changed (true);
-  }
+  void handle_visibility_changed (bool visible);
   /** Slot when floating property changes */
   void top_level_changed (bool floating);
+
+protected:
+  void closeEvent (QCloseEvent *event);
 };
 
+
 #endif // TERMINALDOCKWIDGET_H