Files
KDDockWidgets/tests/fuzzer/testcases/13.json
2020-01-21 22:05:03 +00:00

1251 lines
37 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 399,
"width": 372
},
"x": 283,
"y": 273
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 150,
"width": 192
},
"name": "DockWidget-9"
},
{
"geometry": {
"size": {
"height": 596,
"width": 743
},
"x": 389,
"y": 293
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 159,
"width": 360
},
"name": "DockWidget-10"
},
{
"geometry": {
"size": {
"height": 952,
"width": 728
},
"x": 343,
"y": 150
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 569,
"width": 202
},
"name": "DockWidget-11"
},
{
"geometry": {
"size": {
"height": 426,
"width": 785
},
"x": 348,
"y": 245
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 309,
"width": 344
},
"name": "DockWidget-12"
},
{
"geometry": {
"size": {
"height": 798,
"width": 937
},
"x": 390,
"y": 5
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 288,
"width": 472
},
"name": "DockWidget-13"
},
{
"geometry": {
"size": {
"height": 773,
"width": 692
},
"x": 427,
"y": 224
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 595,
"width": 172
},
"name": "DockWidget-14"
},
{
"geometry": {
"size": {
"height": 495,
"width": 1074
},
"x": 379,
"y": 102
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 175,
"width": 588
},
"name": "DockWidget-15"
},
{
"geometry": {
"size": {
"height": 664,
"width": 778
},
"x": 107,
"y": 325
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 480,
"width": 305
},
"name": "DockWidget-16"
},
{
"geometry": {
"size": {
"height": 753,
"width": 362
},
"x": 479,
"y": 328
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 216,
"width": 191
},
"name": "DockWidget-17"
},
{
"geometry": {
"size": {
"height": 638,
"width": 511
},
"x": 249,
"y": 50
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 152,
"width": 213
},
"name": "DockWidget-18"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1053,
"width": 452
},
"x": 247,
"y": 165
},
"mainWindowOption": 0,
"name": "MainWindow-2"
}
]
},
"operations": [
{
"comment": "Closing DockWidget-16",
"params": {
"dockWidgetName": "DockWidget-16"
},
"type": 1
},
{
"comment": "Showing DockWidget-15-[hidden]",
"params": {
"dockWidgetName": "DockWidget-15"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-11 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 3,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 2
},
{
"comment": "Closing DockWidget-12",
"params": {
"dockWidgetName": "DockWidget-12"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-11 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 4,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-11 onto DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-11"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-15 onto DockWidget-9-[hidden]",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-15"
},
"type": 5
},
{
"comment": "Showing DockWidget-12-[hidden]",
"params": {
"dockWidgetName": "DockWidget-12"
},
"type": 3
},
{
"comment": "Showing DockWidget-10-[hidden]",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 3
},
{
"comment": "Showing DockWidget-11-[hidden]",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 3
},
{
"comment": "Closing DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-14-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-14",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-17-[hidden] onto DockWidget-18",
"params": {
"dockWidgetName": "DockWidget-18",
"dockWidgetToAddName": "DockWidget-17"
},
"type": 5
},
{
"comment": "Showing DockWidget-16-[hidden]",
"params": {
"dockWidgetName": "DockWidget-16"
},
"type": 3
},
{
"comment": "Hidding DockWidget-15",
"params": {
"dockWidgetName": "DockWidget-15"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-18-[hidden] onto DockWidget-11",
"params": {
"dockWidgetName": "DockWidget-11",
"dockWidgetToAddName": "DockWidget-18"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-14 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-14",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-17 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-11-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 3,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 2
},
{
"comment": "Showing DockWidget-10-[hidden]",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 3
},
{
"comment": "Closing DockWidget-11",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 1
},
{
"comment": "Showing DockWidget-11-[hidden]",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 3
},
{
"comment": "Showing DockWidget-9-[hidden]",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 3
},
{
"comment": "AddDockWidgetAsTab DockWidget-13 onto DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14",
"dockWidgetToAddName": "DockWidget-13"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-17-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 2
},
{
"comment": "Hidding DockWidget-13",
"params": {
"dockWidgetName": "DockWidget-13"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-17 to right, relative to DockWidget-14",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 3,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-14"
},
"type": 4
},
{
"comment": "Closing DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 1
},
{
"comment": "Closing DockWidget-18",
"params": {
"dockWidgetName": "DockWidget-18"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-14 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-14",
"location": 4,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Closing DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-18-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-18",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Showing DockWidget-9-[hidden]",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-13-[hidden] to bottom, relative to DockWidget-17",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-13",
"location": 4,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-17"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-13 to left, relative to DockWidget-11",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-13",
"location": 1,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-11"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-17 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-9 onto DockWidget-18",
"params": {
"dockWidgetName": "DockWidget-18",
"dockWidgetToAddName": "DockWidget-9"
},
"type": 5
},
{
"comment": "Hidding DockWidget-11",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-15-[hidden] onto DockWidget-12",
"params": {
"dockWidgetName": "DockWidget-12",
"dockWidgetToAddName": "DockWidget-15"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-12-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-12",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-16",
"params": {
"dockWidgetName": "DockWidget-16"
},
"type": 2
},
{
"comment": "Hidding DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 2
},
{
"comment": "Showing DockWidget-17-[hidden]",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-17 to left, relative to DockWidget-12",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 1,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-12"
},
"type": 4
},
{
"comment": "Closing DockWidget-13",
"params": {
"dockWidgetName": "DockWidget-13"
},
"type": 1
},
{
"comment": "Hidding DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 2
},
{
"comment": "Closing DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-9-[hidden] to bottom, relative to DockWidget-18",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-9",
"location": 4,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-18"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-10-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-10",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Showing DockWidget-14-[hidden]",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-12 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-12",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Hidding DockWidget-15",
"params": {
"dockWidgetName": "DockWidget-15"
},
"type": 2
},
{
"comment": "Showing DockWidget-11-[hidden]",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 3
},
{
"comment": "Showing DockWidget-15-[hidden]",
"params": {
"dockWidgetName": "DockWidget-15"
},
"type": 3
},
{
"comment": "Showing DockWidget-17-[hidden]",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 3
},
{
"comment": "Closing DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-13-[hidden] to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-13",
"location": 4,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-15 onto DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-15"
},
"type": 5
},
{
"comment": "Hidding DockWidget-13",
"params": {
"dockWidgetName": "DockWidget-13"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-11 to top, relative to DockWidget-9-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 2,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-9"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-17 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-18 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-18",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-17 to right, relative to DockWidget-18",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 3,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-18"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-15 to left, relative to DockWidget-10",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-15",
"location": 1,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-10"
},
"type": 4
},
{
"comment": "Hidding DockWidget-18",
"params": {
"dockWidgetName": "DockWidget-18"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-16-[hidden] onto DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17",
"dockWidgetToAddName": "DockWidget-16"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-18-[hidden] onto DockWidget-16",
"params": {
"dockWidgetName": "DockWidget-16",
"dockWidgetToAddName": "DockWidget-18"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-14-[hidden] onto DockWidget-12",
"params": {
"dockWidgetName": "DockWidget-12",
"dockWidgetToAddName": "DockWidget-14"
},
"type": 5
},
{
"comment": "Closing DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-15 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-15",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-16-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-16",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-9 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-9",
"location": 4,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-10-[hidden] onto DockWidget-18",
"params": {
"dockWidgetName": "DockWidget-18",
"dockWidgetToAddName": "DockWidget-10"
},
"type": 5
},
{
"comment": "Closing DockWidget-16",
"params": {
"dockWidgetName": "DockWidget-16"
},
"type": 1
},
{
"comment": "Hidding DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 2
},
{
"comment": "Closing DockWidget-11",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-16-[hidden] onto DockWidget-18-[hidden]",
"params": {
"dockWidgetName": "DockWidget-18",
"dockWidgetToAddName": "DockWidget-16"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-17-[hidden] to top, relative to DockWidget-15",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 2,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-15"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-14-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-14",
"location": 3,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Closing DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-14-[hidden] onto DockWidget-16",
"params": {
"dockWidgetName": "DockWidget-16",
"dockWidgetToAddName": "DockWidget-14"
},
"type": 5
},
{
"comment": "Closing DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-9-[hidden] onto DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14",
"dockWidgetToAddName": "DockWidget-9"
},
"type": 5
},
{
"comment": "Showing DockWidget-13-[hidden]",
"params": {
"dockWidgetName": "DockWidget-13"
},
"type": 3
},
{
"comment": "Showing DockWidget-18-[hidden]",
"params": {
"dockWidgetName": "DockWidget-18"
},
"type": 3
},
{
"comment": "Closing DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-13 to top, relative to DockWidget-18",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-13",
"location": 2,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-18"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-11-[hidden] onto DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-11"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-17-[hidden] onto DockWidget-13",
"params": {
"dockWidgetName": "DockWidget-13",
"dockWidgetToAddName": "DockWidget-17"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-11 to top, relative to DockWidget-14-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 2,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-14"
},
"type": 4
},
{
"comment": "Showing DockWidget-10-[hidden]",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 3
},
{
"comment": "Hidding DockWidget-17",
"params": {
"dockWidgetName": "DockWidget-17"
},
"type": 2
},
{
"comment": "Closing DockWidget-18",
"params": {
"dockWidgetName": "DockWidget-18"
},
"type": 1
},
{
"comment": "Closing DockWidget-13",
"params": {
"dockWidgetName": "DockWidget-13"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-17-[hidden] onto DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10",
"dockWidgetToAddName": "DockWidget-17"
},
"type": 5
},
{
"comment": "Closing DockWidget-15",
"params": {
"dockWidgetName": "DockWidget-15"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-17 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 2,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Showing DockWidget-16-[hidden]",
"params": {
"dockWidgetName": "DockWidget-16"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-9 to top, relative to DockWidget-16",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-9",
"location": 2,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-16"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-15-[hidden] onto DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10",
"dockWidgetToAddName": "DockWidget-15"
},
"type": 5
},
{
"comment": "Hidding DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 2
},
{
"comment": "Showing DockWidget-14-[hidden]",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 3
},
{
"comment": "Showing DockWidget-10-[hidden]",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 3
},
{
"comment": "Hidding DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-17 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-17",
"location": 3,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Closing DockWidget-14",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-10-[hidden] to bottom, relative to DockWidget-12",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-10",
"location": 4,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-12"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-9 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-9",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Showing DockWidget-18-[hidden]",
"params": {
"dockWidgetName": "DockWidget-18"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-12 to right, relative to DockWidget-18",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-12",
"location": 3,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-18"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-18 to bottom, relative to DockWidget-16-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-18",
"location": 4,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-16"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-11 to left, relative to DockWidget-9",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 1,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-9"
},
"type": 4
},
{
"comment": "Hidding DockWidget-12",
"params": {
"dockWidgetName": "DockWidget-12"
},
"type": 2
},
{
"comment": "Hidding DockWidget-11",
"params": {
"dockWidgetName": "DockWidget-11"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-13-[hidden] to left, relative to DockWidget-16",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-13",
"location": 1,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-16"
},
"type": 4
},
{
"comment": "Hidding DockWidget-13",
"params": {
"dockWidgetName": "DockWidget-13"
},
"type": 2
},
{
"comment": "Closing DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-18 to right, relative to DockWidget-17",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-18",
"location": 3,
"mainWindowName": "MainWindow-2",
"relativeToName": "DockWidget-17"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-13-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-13",
"location": 3,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-16 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-16",
"location": 3,
"mainWindowName": "MainWindow-2"
},
"type": 4
},
{
"comment": "Showing DockWidget-14-[hidden]",
"params": {
"dockWidgetName": "DockWidget-14"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-11-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-11",
"location": 1,
"mainWindowName": "MainWindow-2"
},
"type": 4
}
]
}