--- a/libgui/src/octave-dock-widget.cc	Tue Nov 25 15:32:58 2014 -0500
+++ b/libgui/src/octave-dock-widget.cc	Tue Nov 25 23:14:24 2014 +0100
@@ -107,6 +107,9 @@
            this, SLOT (pasteClipboard ()));
   connect (p, SIGNAL (selectAll_signal ()),
            this, SLOT (selectAll ()));
+
+  installEventFilter (this);
+
 }
 
 octave_dock_widget::~octave_dock_widget ()
@@ -358,3 +361,14 @@
 
   notice_settings (settings);  // call individual handler
 }
+
+bool octave_dock_widget::eventFilter(QObject *obj, QEvent *e)
+{
+  if (e->type () == QEvent::NonClientAreaMouseButtonDblClick)
+    {
+      e->ignore (); // ignore double clicks into window decoration elements
+      return true;
+    }
+
+  return QDockWidget::eventFilter (obj,e);
+}

--- a/libgui/src/octave-dock-widget.h	Tue Nov 25 15:32:58 2014 -0500
+++ b/libgui/src/octave-dock-widget.h	Tue Nov 25 23:14:24 2014 +0100
@@ -105,6 +105,9 @@
   {
   }
 
+  // event filter for double clicks into the window decoration elements
+  bool eventFilter(QObject *obj, QEvent *e);
+
 private slots:
 
   void change_floating (bool);