Remove stale reference to a deleted widget.

diff --git a/gui/ui/mainwindow.ui b/gui/ui/mainwindow.ui
index d18a0725fe537bcf6fb53c68e26c905f7e6791c7..c0c623770b66bebd7fec46569a2af51f23264dd7 100644 (file)
--- a/gui/ui/mainwindow.ui
+++ b/gui/ui/mainwindow.ui
@@ -456,7 +456,6 @@
   </action>
   <zorder>stateDock</zorder>
   <zorder>vertexDataDock</zorder>
-  <zorder>argsEditorDock</zorder>
  </widget>
  <customwidgets>
   <customwidget>