@@ -302,6 +302,17 @@ Rectangle {
302302 from: "maximized,minimized,normal,"
303303 to: "maximized,minimized,normal,"
304304 PropertyAnimation { target: appDelegate; properties: "x,y,opacity,width,height,scale" }
305+ },
306+ Transition {
307+ from: ""
308+ to: "altTab"
309+ PropertyAction { target: appDelegate; properties: "y,angle,z,itemScale,itemScaleOriginY" }
310+ PropertyAnimation {
311+ target: appDelegate; properties: "x"
312+ from: root.width
313+ duration: rightEdgePushArea.containsMouse ? UbuntuAnimation.FastDuration :0
314+ easing: UbuntuAnimation.StandardEasing
315+ }
305316 }
306317 ]
307318 property real angle: 0
@@ -616,19 +627,20 @@ Rectangle {
616627 ]
617628
618629 MouseArea {
619− anchors {
620− top: parent.top
621− right: parent.right
622− bottom: parent.bottom
623− }
624− // 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
626− width: 1
627− hoverEnabled: true
628− onContainsMouseChanged: {
629− if (containsMouse) {
630− root.state = "altTab"
631− }
632− }
630+ id: rightEdgePushArea
631+ anchors {
632+ top: parent.top
633+ right: parent.right
634+ bottom: parent.bottom
635+ }
636+ // TODO: Make this a push to edge thing like the launcher when we can,
637+ // for now, yes, we want 1 pixel, regardless of the scaling
638+ width: 1
639+ hoverEnabled: true
640+ onContainsMouseChanged: {
641+ if (containsMouse) {
642+ root.state = "altTab";
643+ }
644+ }
633645 }
634646}