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

Fix fuzzer testcase failing/2.json

Browse Source 
And renamed it to 17.json, as we already have an unrelated 2.json.

The removed check isn't needed, as we'll check again when we
finish restoring the placeholder. It was also a false-positive
warning sometimes because boundPositionForAnchor() would fail
since the "anchors following" wasnt initialized yet, as we do
a clearAnchorsFollowing while restoring the placeholder
This commit is contained in:
Sergio Martins
2020-01-27 18:47:37 +00:00
parent 6dd8a0cda1
commit 07f9e9a0df
2 changed files with 0 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

159
tests/fuzzer/testcases/17.json Normal file
View File

@@ -0,0 +1,159 @@
{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 976,
"width": 1087
},
"x": 298,
"y": 13
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 447,
"width": 498
},
"name": "DockWidget-1"
},
{
"geometry": {
"size": {
"height": 793,
"width": 897
},
"x": 322,
"y": 491
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 565,
"width": 544
},
"name": "DockWidget-2"
},
{
"geometry": {
"size": {
"height": 426,
"width": 972
},
"x": 54,
"y": 88
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 284,
"width": 596
},
"name": "DockWidget-3"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1425,
"width": 145
},
"x": 20,
"y": 2
},
"mainWindowOption": 0,
"name": "MainWindow-1"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-2-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-3 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-3",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-3 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-3",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-3-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-3",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 2,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-3"
},
"type": 4
},
{
"comment": "Hidding DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 2
},
{
"comment": "Closing DockWidget-1",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 1
},
{
"comment": "Showing DockWidget-3-[hidden]",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 3
}
]
}