diff --git a/src/multisplitter/AnchorGroup.cpp b/src/multisplitter/AnchorGroup.cpp index 0b945f4e..e0bc05c6 100644 --- a/src/multisplitter/AnchorGroup.cpp +++ b/src/multisplitter/AnchorGroup.cpp @@ -84,10 +84,11 @@ int AnchorGroup::itemSize(Qt::Orientation o) const : itemSize().height(); } -bool AnchorGroup::hasAvailableSizeFor(QSize needed) const +bool AnchorGroup::hasAvailableSizeFor(QSize needed, Qt::Orientation orientation) const { const QSize available = availableSize(); - return available.width() >= needed.width() && available.height() >= needed.height(); + return orientation == Qt::Vertical ? available.width() >= needed.width() + : available.height() >= needed.height(); } AnchorGroup AnchorGroup::outterGroup() const diff --git a/src/multisplitter/AnchorGroup_p.h b/src/multisplitter/AnchorGroup_p.h index 88ab79b4..8bcd4178 100644 --- a/src/multisplitter/AnchorGroup_p.h +++ b/src/multisplitter/AnchorGroup_p.h @@ -75,7 +75,7 @@ struct DOCKS_EXPORT_FOR_UNIT_TESTS AnchorGroup /** * @brief Returns whether @ref availableSize is bigger or equal than @ref needed */ - bool hasAvailableSizeFor(QSize needed) const; + bool hasAvailableSizeFor(QSize needed, Qt::Orientation orientation) const; /// Returns the group formed by the Anchors that actually have items on their outter side AnchorGroup outterGroup() const; diff --git a/src/multisplitter/MultiSplitterLayout.cpp b/src/multisplitter/MultiSplitterLayout.cpp index b0c16cff..1bff8dea 100644 --- a/src/multisplitter/MultiSplitterLayout.cpp +++ b/src/multisplitter/MultiSplitterLayout.cpp @@ -1555,10 +1555,11 @@ void MultiSplitterLayout::restorePlaceholder(Item *item) : boundPositionForAnchor(side2Anchor, Anchor::Side2); // Double check the available space again, for sanity - if (!anchorGroup.hasAvailableSizeFor(newSize)) { + if (!anchorGroup.hasAvailableSizeFor(newSize, orientation)) { qWarning() << "There's not enough space: bound2=" << boundPosition2 << "; bound1=" << boundPosition1 << "; newSize=" << newSize + << "; anchorGroup.available" << anchorGroup.availableSize() << "; widgetMinSize=" << widgetMinSize << "; newspace=" << boundPosition2 - boundPosition1 - side1Anchor->thickness() << "; available_old=" << availableSize diff --git a/tests/fuzzer/testcases/9.json b/tests/fuzzer/testcases/9.json new file mode 100644 index 00000000..bda8a496 --- /dev/null +++ b/tests/fuzzer/testcases/9.json @@ -0,0 +1,1016 @@ +{ + "initialLayout": { + "dockWidgets": [ + { + "geometry": { + "size": { + "height": 457, + "width": 898 + }, + "x": 131, + "y": 431 + }, + "isFloating": false, + "isVisible": true, + "minSize": { + "height": 225, + "width": 414 + }, + "name": "DockWidget-1" + }, + { + "geometry": { + "size": { + "height": 955, + "width": 963 + }, + "x": 382, + "y": 290 + }, + "isFloating": true, + "isVisible": false, + "minSize": { + "height": 452, + "width": 505 + }, + "name": "DockWidget-2" + }, + { + "geometry": { + "size": { + "height": 508, + "width": 882 + }, + "x": 402, + "y": 346 + }, + "isFloating": false, + "isVisible": true, + "minSize": { + "height": 288, + "width": 350 + }, + "name": "DockWidget-3" + } + ], + "mainWindows": [ + { + "geometry": { + "size": { + "height": 1004, + "width": 133 + }, + "x": 55, + "y": 484 + }, + "mainWindowOption": 0, + "name": "MainWindow-1" + } + ] + }, + "operations": [ + { + "comment": "Closing DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-1 to left", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Showing DockWidget-3-[hidden]", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 3 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1", + "dockWidgetToAddName": "DockWidget-3" + }, + "type": 5 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 2, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to bottom, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to top, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 2, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to bottom, relative to DockWidget-2", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-2" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to left", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "Hidding DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 2 + }, + { + "comment": "Closing DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 1 + }, + { + "comment": "Showing DockWidget-2-[hidden]", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 3 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2", + "dockWidgetToAddName": "DockWidget-1" + }, + "type": 5 + }, + { + "comment": "AddDockWidget DockWidget-1 to left, relative to DockWidget-2-[hidden]", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-2" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-1", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-1" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-3 to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to right, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 3, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to left, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-2 to bottom", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 4, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-2 to bottom, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to right", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 3, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-2 to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2", + "dockWidgetToAddName": "DockWidget-1" + }, + "type": 5 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to bottom, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to right", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 3, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "Closing DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 1 + }, + { + "comment": "Hidding DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 2 + }, + { + "comment": "Showing DockWidget-3-[hidden]", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 3 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to left", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 1, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to left", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-1", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-1" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-1", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-1" + }, + "type": 4 + }, + { + "comment": "Showing DockWidget-2-[hidden]", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 3 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3", + "dockWidgetToAddName": "DockWidget-1" + }, + "type": 5 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-3 to bottom", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 4, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to bottom", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 4, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-1 to left, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 1 + }, + { + "comment": "Showing DockWidget-3-[hidden]", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 3 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1", + "dockWidgetToAddName": "DockWidget-2" + }, + "type": 5 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to right", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 3, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Showing DockWidget-3-[hidden]", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 3 + }, + { + "comment": "AddDockWidget DockWidget-1 to left, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1", + "dockWidgetToAddName": "DockWidget-2" + }, + "type": 5 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "Showing DockWidget-3-[hidden]", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 3 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "Showing DockWidget-3-[hidden]", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 3 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to left, relative to DockWidget-1", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-1", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to bottom", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 4, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-3 to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1 to top, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 2, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to left, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to bottom", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 4, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 2, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-2 to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-2", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 1, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-2" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 1 + }, + { + "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2", + "dockWidgetToAddName": "DockWidget-3" + }, + "type": 5 + }, + { + "comment": "Showing DockWidget-1-[hidden]", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 3 + }, + { + "comment": "AddDockWidget DockWidget-1 to right, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 3, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "Showing DockWidget-1-[hidden]", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 3 + }, + { + "comment": "AddDockWidget DockWidget-2-[hidden] to top, relative to DockWidget-1", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 2, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-1" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-2 to top, relative to DockWidget-3", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-2", + "location": 2, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-3" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "Showing DockWidget-1-[hidden]", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 3 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-2", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 4, + "mainWindowName": "MainWindow-1", + "relativeToName": "DockWidget-2" + }, + "type": 4 + }, + { + "comment": "Showing DockWidget-1-[hidden]", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 3 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "Showing DockWidget-1-[hidden]", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 3 + }, + { + "comment": "Showing DockWidget-2-[hidden]", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 3 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "Closing DockWidget-2", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 1 + }, + { + "comment": "AddDockWidget DockWidget-1-[hidden] to left", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-1", + "location": 1, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Closing DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 1 + }, + { + "comment": "Showing DockWidget-1-[hidden]", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 3 + }, + { + "comment": "Hidding DockWidget-1", + "params": { + "dockWidgetName": "DockWidget-1" + }, + "type": 2 + }, + { + "comment": "AddDockWidget DockWidget-3-[hidden] to top", + "params": { + "addingOption": 0, + "dockWidgetName": "DockWidget-3", + "location": 2, + "mainWindowName": "MainWindow-1" + }, + "type": 4 + }, + { + "comment": "Hidding DockWidget-3", + "params": { + "dockWidgetName": "DockWidget-3" + }, + "type": 2 + }, + { + "comment": "Showing DockWidget-2-[hidden]", + "params": { + "dockWidgetName": "DockWidget-2" + }, + "type": 3 + } + ] +}