Files
KDDockWidgets/tests/fuzzer/testcases/15.json
Sergio Martins 162bf0e828 Don't move anchors that are following others
Move the real ones instead. Fixes some bugs found with the fuzzer.
2020-01-24 16:19:42 +00:00

365 lines
10 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 1050,
"width": 873
},
"x": 389,
"y": 359
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 539,
"width": 599
},
"name": "DockWidget-47"
},
{
"geometry": {
"size": {
"height": 767,
"width": 1008
},
"x": 483,
"y": 478
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 415,
"width": 502
},
"name": "DockWidget-48"
},
{
"geometry": {
"size": {
"height": 347,
"width": 802
},
"x": 168,
"y": 291
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 252,
"width": 248
},
"name": "DockWidget-49"
},
{
"geometry": {
"size": {
"height": 514,
"width": 750
},
"x": 77,
"y": 43
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 165,
"width": 580
},
"name": "DockWidget-50"
},
{
"geometry": {
"size": {
"height": 777,
"width": 635
},
"x": 392,
"y": 37
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 548,
"width": 558
},
"name": "DockWidget-51"
},
{
"geometry": {
"size": {
"height": 803,
"width": 526
},
"x": 409,
"y": 109
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 288,
"width": 205
},
"name": "DockWidget-52"
},
{
"geometry": {
"size": {
"height": 925,
"width": 1044
},
"x": 175,
"y": 159
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 531,
"width": 508
},
"name": "DockWidget-53"
},
{
"geometry": {
"size": {
"height": 1003,
"width": 688
},
"x": 384,
"y": 293
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 564,
"width": 170
},
"name": "DockWidget-54"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 965,
"width": 337
},
"x": 445,
"y": 485
},
"mainWindowOption": 0,
"name": "MainWindow-9"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-49-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-49",
"location": 2,
"mainWindowName": "MainWindow-9"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-51-[hidden] onto DockWidget-53-[hidden]",
"params": {
"dockWidgetName": "DockWidget-53",
"dockWidgetToAddName": "DockWidget-51"
},
"type": 5
},
{
"comment": "Showing DockWidget-49-[hidden]",
"params": {
"dockWidgetName": "DockWidget-49"
},
"type": 3
},
{
"comment": "Closing DockWidget-49",
"params": {
"dockWidgetName": "DockWidget-49"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-48-[hidden] to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-48",
"location": 4,
"mainWindowName": "MainWindow-9"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-53-[hidden] to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-53",
"location": 4,
"mainWindowName": "MainWindow-9"
},
"type": 4
},
{
"comment": "Closing DockWidget-51",
"params": {
"dockWidgetName": "DockWidget-51"
},
"type": 1
},
{
"comment": "Showing DockWidget-49-[hidden]",
"params": {
"dockWidgetName": "DockWidget-49"
},
"type": 3
},
{
"comment": "Closing DockWidget-49",
"params": {
"dockWidgetName": "DockWidget-49"
},
"type": 1
},
{
"comment": "Showing DockWidget-52-[hidden]",
"params": {
"dockWidgetName": "DockWidget-52"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-54-[hidden] to bottom, relative to DockWidget-48",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-54",
"location": 4,
"mainWindowName": "MainWindow-9",
"relativeToName": "DockWidget-48"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-50-[hidden] to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-50",
"location": 4,
"mainWindowName": "MainWindow-9"
},
"type": 4
},
{
"comment": "Closing DockWidget-50",
"params": {
"dockWidgetName": "DockWidget-50"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-48 onto DockWidget-52",
"params": {
"dockWidgetName": "DockWidget-52",
"dockWidgetToAddName": "DockWidget-48"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-52-[hidden] to left, relative to DockWidget-53",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-52",
"location": 1,
"mainWindowName": "MainWindow-9",
"relativeToName": "DockWidget-53"
},
"type": 4
},
{
"comment": "Showing DockWidget-50-[hidden]",
"params": {
"dockWidgetName": "DockWidget-50"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-53-[hidden] to left, relative to DockWidget-52",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-53",
"location": 1,
"mainWindowName": "MainWindow-9",
"relativeToName": "DockWidget-52"
},
"type": 4
},
{
"comment": "Closing DockWidget-53",
"params": {
"dockWidgetName": "DockWidget-53"
},
"type": 1
},
{
"comment": "Closing DockWidget-52",
"params": {
"dockWidgetName": "DockWidget-52"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-47-[hidden] to left, relative to DockWidget-50",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-47",
"location": 1,
"mainWindowName": "MainWindow-9",
"relativeToName": "DockWidget-50"
},
"type": 4
},
{
"comment": "Closing DockWidget-47",
"params": {
"dockWidgetName": "DockWidget-47"
},
"type": 1
},
{
"comment": "Showing DockWidget-48-[hidden]",
"params": {
"dockWidgetName": "DockWidget-48"
},
"type": 3
},
{
"comment": "Showing DockWidget-49-[hidden]",
"params": {
"dockWidgetName": "DockWidget-49"
},
"type": 3
},
{
"comment": "Showing DockWidget-52-[hidden]",
"params": {
"dockWidgetName": "DockWidget-52"
},
"type": 3
},
{
"comment": "AddDockWidgetAsTab DockWidget-47-[hidden] onto DockWidget-49",
"params": {
"dockWidgetName": "DockWidget-49",
"dockWidgetToAddName": "DockWidget-47"
},
"type": 5
}
]
}