# HG changeset patch
# User Jacob Dawid <jacob.dawid@googlemail.com>
# Date 1337859933 -7200
# Node ID 9ea75ea686b580a73a52c6e0deb91b8dc1fed404
# Parent  66ff321cb62eea099c05625a084a279084218819
Allowing nested dock widgets and fixed small bug in loading a workspace.

* MainWindow: Added explicit dock options and check if workspace file to be loaded is empty.

diff -r 66ff321cb62e -r 9ea75ea686b5 gui/src/MainWindow.cpp
--- a/gui/src/MainWindow.cpp	Thu May 24 13:20:27 2012 +0200
+++ b/gui/src/MainWindow.cpp	Thu May 24 13:45:33 2012 +0200
@@ -86,8 +86,11 @@
   QString selectedFile =
       QFileDialog::getOpenFileName (this, tr ("Load Workspace"),
                                     ResourceManager::instance ()->homePath ());
-  m_terminalView->sendText (QString ("load \'%1\'\n").arg (selectedFile));
-  m_terminalView->setFocus ();
+  if (!selectedFile.isEmpty ())
+    {
+      m_terminalView->sendText (QString ("load \'%1\'\n").arg (selectedFile));
+      m_terminalView->setFocus ();
+    }
 }
 
 void
@@ -228,7 +231,6 @@
   setCentralWidget (m_terminalView);
 
   m_fileEditor = new FileEditor (m_terminalView, this);
-  addDockWidget (Qt::BottomDockWidgetArea, m_fileEditor);
 
   QMenu *fileMenu = menuBar ()->addMenu (tr ("&File"));
   QAction *newFileAction
@@ -345,9 +347,12 @@
   connect (pasteAction, SIGNAL (triggered()), m_terminalView, SLOT(pasteClipboard ()));
   setWindowTitle ("Octave");
 
+  setDockOptions(QMainWindow::AnimatedDocks | QMainWindow::AllowNestedDocks | QMainWindow::AllowTabbedDocks);
+
   addDockWidget (Qt::LeftDockWidgetArea, m_workspaceView);
   addDockWidget (Qt::LeftDockWidgetArea, m_historyDockWidget);
   addDockWidget (Qt::RightDockWidgetArea, m_filesDockWidget);
+  addDockWidget (Qt::BottomDockWidgetArea, m_fileEditor);
   setStatusBar (m_statusBar);
 
   readSettings ();