@@ -42,13 +42,13 @@ Item {
42 // emitted when the dash icon in the launcher has been tapped
42 // emitted when the dash icon in the launcher has been tapped
43 signal showDashHome()
43 signal showDashHome()
45− onStateChanged: {
45+// onStateChanged: {
46− if (state == "") {
46+// if (state == "") {
47− dismissTimer.stop()
47+// dismissTimer.stop()
48− } else {
48+// } else {
49− dismissTimer.restart()
49+// dismissTimer.restart()
53 function hide() {
53 function hide() {
54 switchToNextState("")
54 switchToNextState("")
@@ -83,18 +83,18 @@ Item {
83 property string mode: "teasing"
83 property string mode: "teasing"
87− id: dismissTimer
87+// id: dismissTimer
88− objectName: "dismissTimer"
88+// objectName: "dismissTimer"
89− interval: 5000
89+// interval: 5000
90− onTriggered: {
90+// onTriggered: {
91− if (!panel.preventHiding) {
91+// if (!panel.preventHiding) {
92− root.state = ""
92+// root.state = ""
93− } else {
93+// } else {
94− dismissTimer.restart()
94+// dismissTimer.restart()
99 // Because the animation on x is disabled while dragging
99 // Because the animation on x is disabled while dragging
100 // switching state directly in the drag handlers would not animate
100 // switching state directly in the drag handlers would not animate
@@ -210,11 +210,11 @@ Item {
210 root.showDashHome();
210 root.showDashHome();
213− onPreventHidingChanged: {
213+// onPreventHidingChanged: {
214− if (dismissTimer.running) {
214+// if (dismissTimer.running) {
215− dismissTimer.restart();
215+// dismissTimer.restart();
219 Behavior on x {
219 Behavior on x {
220 enabled: !dragArea.dragging && !launcherDragArea.drag.active && panel.animate;
220 enabled: !dragArea.dragging && !launcherDragArea.drag.active && panel.animate;