improve encapsulation of workspace window object * workspace-view.h, workspace-view.cc (workspace_view::handle_visibility_changed): Delete. (workspace_view::workspace_view): Set status tip. Don't connect workspace_view::visibilityChanged signal to workspace_view::handle_visibility_changed. (workspace_view::connect_visibility_changed, workspace_view::focus, workspace_view::handle_visibility): New functions. * main-window.h, main-window.cc (main_window::workspace_window): Rename from _workspace_view. Change all uses. (main_window::main_window): Initialize it. (main_window::focus_workspace, main_window::handle_workspace_visible): Delete. (main_window::connect_visibility_changed): Call workspace_window->connect_visibility_changed. (main_window::construct): Don't create _workspace_view. Connect workspace_action::triggered directly to workspace_window::focus.

--- a/libgui/src/workspace-view.h	Sun Apr 07 06:04:37 2013 -0400
+++ b/libgui/src/workspace-view.h	Sun Apr 07 11:52:09 2013 -0400
@@ -32,20 +32,30 @@
 class workspace_view : public QDockWidget
 {
   Q_OBJECT
-  public:
+
+public:
+
   workspace_view (QWidget * parent = 0);
+
   ~workspace_view ();
 
+  void connect_visibility_changed (void);
+
 public:
 
   void setModel (workspace_model *model) { view->setModel (model); }
 
 public slots:
-  void handle_visibility_changed (bool visible);
+
   void model_changed ();
+
   /** Slot when floating property changes */
   void top_level_changed (bool floating);
 
+  void focus (void);
+
+  void handle_visibility (bool visible);
+
 signals:
   /** Custom signal that tells if a user has clicke away that dock widget. */
   void active_changed (bool active);