@@ -302,6 +302,17 @@ Rectangle {
302 from: "maximized,minimized,normal,"
302 from: "maximized,minimized,normal,"
303 to: "maximized,minimized,normal,"
303 to: "maximized,minimized,normal,"
304 PropertyAnimation { target: appDelegate; properties: "x,y,opacity,width,height,scale" }
304 PropertyAnimation { target: appDelegate; properties: "x,y,opacity,width,height,scale" }
309+ PropertyAction { target: appDelegate; properties: "y,angle,z,itemScale,itemScaleOriginY" }
311+ target: appDelegate; properties: "x"
313+ duration: rightEdgePushArea.containsMouse ? UbuntuAnimation.FastDuration :0
314+ easing: UbuntuAnimation.StandardEasing
307 property real angle: 0
318 property real angle: 0
@@ -616,19 +627,20 @@ Rectangle {
618 MouseArea {
629 MouseArea {
630+ id: rightEdgePushArea
619− anchors {
631+ anchors {
620− top: parent.top
632+ top: parent.top
621− right: parent.right
633+ right: parent.right
622− bottom: parent.bottom
634+ bottom: parent.bottom
624− // TODO: Make this a push to edge thing like the launcher when we can,
636+ // TODO: Make this a push to edge thing like the launcher when we can,
625− // for now, yes, we want 1 pixel, regardless of the scaling
637+ // for now, yes, we want 1 pixel, regardless of the scaling
626− width: 1
638+ width: 1
627− hoverEnabled: true
639+ hoverEnabled: true
628− onContainsMouseChanged: {
640+ onContainsMouseChanged: {
629− if (containsMouse) {
641+ if (containsMouse) {
630− root.state = "altTab"
642+ root.state = "altTab";