Files
KDDockWidgets/tests/fuzzer/testcases/12.json
2019-10-17 18:45:03 +01:00

313 lines
8.9 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 1070,
"width": 853
},
"x": 190,
"y": 86
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 490,
"width": 346
},
"name": "DockWidget-1"
},
{
"geometry": {
"size": {
"height": 642,
"width": 724
},
"x": 24,
"y": 397
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 371,
"width": 373
},
"name": "DockWidget-2"
},
{
"geometry": {
"size": {
"height": 615,
"width": 990
},
"x": 82,
"y": 295
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 436,
"width": 533
},
"name": "DockWidget-3"
},
{
"geometry": {
"size": {
"height": 302,
"width": 937
},
"x": 276,
"y": 437
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 211,
"width": 363
},
"name": "DockWidget-4"
},
{
"geometry": {
"size": {
"height": 867,
"width": 1159
},
"x": 66,
"y": 339
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 587,
"width": 570
},
"name": "DockWidget-5"
},
{
"geometry": {
"size": {
"height": 552,
"width": 604
},
"x": 9,
"y": 442
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 427,
"width": 152
},
"name": "DockWidget-6"
},
{
"geometry": {
"size": {
"height": 706,
"width": 561
},
"x": 397,
"y": 194
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 486,
"width": 388
},
"name": "DockWidget-7"
},
{
"geometry": {
"size": {
"height": 612,
"width": 807
},
"x": 180,
"y": 243
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 164,
"width": 502
},
"name": "DockWidget-8"
},
{
"geometry": {
"size": {
"height": 286,
"width": 549
},
"x": 448,
"y": 180
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 217,
"width": 408
},
"name": "DockWidget-9"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1047,
"width": 315
},
"x": 372,
"y": 487
},
"mainWindowOption": 0,
"name": "MainWindow-1"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-6 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-6",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-4-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-3 to bottom, relative to DockWidget-4",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-3",
"location": 4,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-4"
},
"type": 4
},
{
"comment": "Showing DockWidget-8-[hidden]",
"params": {
"dockWidgetName": "DockWidget-8"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-1 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-6",
"params": {
"dockWidgetName": "DockWidget-6",
"dockWidgetToAddName": "DockWidget-5"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-8-[hidden] to bottom, relative to DockWidget-1",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-8",
"location": 4,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-2-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-6-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-6",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-6",
"params": {
"dockWidgetName": "DockWidget-6"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-1 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Hidding DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-4-[hidden] to left, relative to DockWidget-1",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4",
"location": 1,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-8",
"params": {
"dockWidgetName": "DockWidget-8"
},
"type": 1
}
]
}