philipp/KDDockWidgets
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Item: Also position the opposite position, not just the length

Browse Source 
Fixes fuzzer test 20.json
This commit is contained in:
Sergio Martins
2020-05-13 19:38:48 +01:00
parent 0db40953ac
commit b7cb6afa49
2 changed files with 834 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

833
tests/fuzzer/testcases/20.json Normal file
View File

@@ -0,0 +1,833 @@
{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 793,
"width": 728
},
"x": 143,
"y": 290
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 445,
"width": 576
},
"name": "DockWidget-70"
},
{
"geometry": {
"size": {
"height": 749,
"width": 1001
},
"x": 358,
"y": 224
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 406,
"width": 579
},
"name": "DockWidget-71"
},
{
"geometry": {
"size": {
"height": 243,
"width": 480
},
"x": 498,
"y": 284
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 184,
"width": 191
},
"name": "DockWidget-72"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1409,
"width": 109
},
"x": 243,
"y": 241
},
"mainWindowOption": 0,
"name": "MainWindow-14"
}
]
},
"operations": [
{
"comment": "Closing DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 1
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "Closing DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 1
},
{
"comment": "Closing DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 1
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "Showing DockWidget-70-[hidden]",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 3
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "Hidding DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 2
},
{
"comment": "Showing DockWidget-71-[hidden]",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 3
},
{
"comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71",
"dockWidgetToAddName": "DockWidget-72"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-70-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 1,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "Hidding DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 2
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71",
"dockWidgetToAddName": "DockWidget-72"
},
"type": 5
},
{
"comment": "Showing DockWidget-71-[hidden]",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 3
},
{
"comment": "Hidding DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 2
},
{
"comment": "Showing DockWidget-72-[hidden]",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 3
},
{
"comment": "Hidding DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70",
"dockWidgetToAddName": "DockWidget-71"
},
"type": 5
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "Closing DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 1
},
{
"comment": "Hidding DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 2
},
{
"comment": "Showing DockWidget-72-[hidden]",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 3
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "Hidding DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70",
"dockWidgetToAddName": "DockWidget-71"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-71 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-71",
"location": 1,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "Closing DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71",
"dockWidgetToAddName": "DockWidget-72"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-70-[hidden] onto DockWidget-71-[hidden]",
"params": {
"dockWidgetName": "DockWidget-71",
"dockWidgetToAddName": "DockWidget-70"
},
"type": 5
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "AddDockWidget DockWidget-72-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-72",
"location": 1,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "AddDockWidget DockWidget-72 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-72",
"location": 2,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "Closing DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 1
},
{
"comment": "Hidding DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-70-[hidden] onto DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72",
"dockWidgetToAddName": "DockWidget-70"
},
"type": 5
},
{
"comment": "Showing DockWidget-72-[hidden]",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 3
},
{
"comment": "Hidding DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 2
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "Showing DockWidget-71-[hidden]",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 3
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "AddDockWidget DockWidget-70 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 1,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "Showing DockWidget-72-[hidden]",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 3
},
{
"comment": "Closing DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 1
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "AddDockWidget DockWidget-70 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 3,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "AddDockWidget DockWidget-70 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 2,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-71-[hidden] to bottom, relative to DockWidget-70",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-71",
"location": 4,
"mainWindowName": "MainWindow-14",
"relativeToName": "DockWidget-70"
},
"type": 4
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "AddDockWidget DockWidget-72-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-72",
"location": 3,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "Hidding DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-72-[hidden] to right, relative to DockWidget-70",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-72",
"location": 3,
"mainWindowName": "MainWindow-14",
"relativeToName": "DockWidget-70"
},
"type": 4
},
{
"comment": "Closing DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 1
},
{
"comment": "Showing DockWidget-71-[hidden]",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 3
},
{
"comment": "Hidding DockWidget-71",
"params": {
"dockWidgetName": "DockWidget-71"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-70 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 1,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "Closing DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 1
},
{
"comment": "Hidding DockWidget-72",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 2
},
{
"comment": "Showing DockWidget-70-[hidden]",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-72-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-72",
"location": 2,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70",
"params": {
"dockWidgetName": "DockWidget-70",
"dockWidgetToAddName": "DockWidget-71"
},
"type": 5
},
{
"comment": "Showing DockWidget-70-[hidden]",
"params": {
"dockWidgetName": "DockWidget-70"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-70 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 2,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "RestoreLayout",
"params": {
},
"type": 7
},
{
"comment": "SaveLayout",
"params": {
},
"type": 6
},
{
"comment": "AddDockWidget DockWidget-70 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-70",
"location": 4,
"mainWindowName": "MainWindow-14"
},
"type": 4
},
{
"comment": "Showing DockWidget-72-[hidden]",
"params": {
"dockWidgetName": "DockWidget-72"
},
"type": 3
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 6
},
{
"comment": "",
"params": {
},
"type": 7
},
{
"comment": "",
"params": {
},
"type": 6
}
]
}