fix dock geometry update from VisibilityManager

pull/1/head
Michail Vourlakos 8 years ago
parent 65a2367fd6
commit f22a203d12

@ -315,7 +315,8 @@ Item{
newMaskArea.x = dock.width - fixedThickness; newMaskArea.x = dock.width - fixedThickness;
} }
if (localGeometry !== newMaskArea){ if (localGeometry.x !== newMaskArea.x || localGeometry.y !== newMaskArea.y
|| localGeometry.width !== newMaskArea.width || localGeometry.height !== newMaskArea.height) {
localGeometry = newMaskArea; localGeometry = newMaskArea;
dock.setLocalDockGeometry(localGeometry); dock.setLocalDockGeometry(localGeometry);
} }

Loading…
Cancel
Save