The patch fixes Hide/Restore Docks functionality. The logic of current version seems to be broken:
- Open some left dock element
- Open some bottom dock element
- Hide docks with shortcut
- Restore docks with shortcut - we see both docks, as planned.
- Close bottom dock element
- Hide docks with shortcut
- Restore docks with shortcut - we again see both docks, but should see only left dock.
The patched version restores only docks, which was opened before hide operation.