Files
KDDockWidgets/tests/fuzzer/testcases/8.json
2019-10-16 14:04:16 +01:00

283 lines
8.1 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 292,
"width": 1062
},
"x": 163,
"y": 468
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 183,
"width": 485
},
"name": "DockWidget-1"
},
{
"geometry": {
"size": {
"height": 858,
"width": 559
},
"x": 39,
"y": 491
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 584,
"width": 388
},
"name": "DockWidget-2"
},
{
"geometry": {
"size": {
"height": 625,
"width": 693
},
"x": 390,
"y": 121
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 460,
"width": 386
},
"name": "DockWidget-3"
},
{
"geometry": {
"size": {
"height": 324,
"width": 771
},
"x": 244,
"y": 129
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 210,
"width": 300
},
"name": "DockWidget-4"
},
{
"geometry": {
"size": {
"height": 684,
"width": 740
},
"x": 243,
"y": 117
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 332,
"width": 414
},
"name": "DockWidget-5"
},
{
"geometry": {
"size": {
"height": 690,
"width": 676
},
"x": 288,
"y": 108
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 494,
"width": 506
},
"name": "DockWidget-6"
},
{
"geometry": {
"size": {
"height": 958,
"width": 973
},
"x": 11,
"y": 144
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 520,
"width": 492
},
"name": "DockWidget-7"
},
{
"geometry": {
"size": {
"height": 1011,
"width": 412
},
"x": 136,
"y": 197
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 590,
"width": 209
},
"name": "DockWidget-8"
},
{
"geometry": {
"size": {
"height": 792,
"width": 754
},
"x": 64,
"y": 69
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 560,
"width": 534
},
"name": "DockWidget-9"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1346,
"width": 219
},
"x": 209,
"y": 85
},
"mainWindowOption": 0,
"name": "MainWindow-1"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-8-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-8",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-5"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-9-[hidden]",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-8"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-7 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-7",
"location": 4,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-2 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Showing DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-5-[hidden] to bottom, relative to DockWidget-2",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 4,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-2"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-1 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-6-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-6",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3",
"dockWidgetToAddName": "DockWidget-5"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-9-[hidden] onto DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2",
"dockWidgetToAddName": "DockWidget-9"
},
"type": 5
}
]
}