increase separator size on dragging

--this way we can move the surrounding launchers to
catch up also edges
pull/1/head
Michail Vourlakos 8 years ago
parent b79b375715
commit f0e7992d2a

@ -46,6 +46,9 @@ MouseArea{
if (!visible)
return 0;
if (isSeparator)
return root.vertical ? separatorItem.width : (root.dragSource ? 5+root.iconMargin : 0);
if (root.vertical)
return wrapper.width;
else
@ -56,6 +59,9 @@ MouseArea{
if (!visible)
return 0;
if (isSeparator)
return !root.vertical ? separatorItem.height : (root.dragSource ? 5+root.iconMargin: 0);
if (root.vertical)
return hiddenSpacerLeft.height + wrapper.height + hiddenSpacerRight.height;
else
@ -217,8 +223,8 @@ MouseArea{
opacity: 0.5
visible: mainItemContainer.isSeparator
width: root.vertical ? root.iconSize : 1
height: !root.vertical ? root.iconSize : 1
width: root.vertical ? root.iconSize : (root.dragSource) ? 5+root.iconMargin: 1
height: !root.vertical ? root.iconSize : (root.dragSource) ? 5+root.iconMargin: 1
property int localThickMargin: root.statesLineSize + root.thickMarginBase + 4

Loading…
Cancel
Save