Files
KDDockWidgets/tests/fuzzer/testcases/3.json
2019-10-15 12:07:44 +01:00

143 lines
4.0 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 903,
"width": 596
},
"x": 212,
"y": 195
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 579,
"width": 519
},
"name": "DockWidget-1"
},
{
"geometry": {
"size": {
"height": 696,
"width": 530
},
"x": 103,
"y": 264
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 497,
"width": 213
},
"name": "DockWidget-2"
},
{
"geometry": {
"size": {
"height": 745,
"width": 732
},
"x": 403,
"y": 397
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 388,
"width": 322
},
"name": "DockWidget-3"
},
{
"geometry": {
"size": {
"height": 609,
"width": 734
},
"x": 311,
"y": 337
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 201,
"width": 436
},
"name": "DockWidget-4"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 723,
"width": 297
},
"x": 179,
"y": 93
},
"mainWindowOption": 0,
"name": "MainWindow-1"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-1 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1",
"params": {
"dockWidgetName": "DockWidget-1",
"dockWidgetToAddName": "DockWidget-2"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-1-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2",
"dockWidgetToAddName": "DockWidget-4"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-4",
"params": {
"dockWidgetName": "DockWidget-4",
"dockWidgetToAddName": "DockWidget-3"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3",
"dockWidgetToAddName": "DockWidget-1"
},
"type": 5
}
]
}