delete useless connection; style fixes * main-window.cc (main_window::construct): Delete connection from _workspace_model::model_changed to nonexistent slot workspace_window::model_changed. * workspace-model.cc, workspace-model.h, workspace-view.cc, workspace-view.h: Style fixes.

--- a/libgui/src/workspace-view.h	Tue Apr 09 03:26:11 2013 -0400
+++ b/libgui/src/workspace-view.h	Tue Apr 09 03:40:28 2013 -0400
@@ -36,7 +36,7 @@
 
 public:
 
-  workspace_view (QWidget * parent = 0);
+  workspace_view (QWidget *parent = 0);
 
   ~workspace_view (void);