@@ -69,8 +69,12 @@ Item {
69 animateTimer.start();
69 animateTimer.start();
72− function tease() {
72+ function tease(interval) {
73 if (available && !dragArea.dragging) {
73 if (available && !dragArea.dragging) {
74+ if (interval === undefined) {
77+ teaseTimer.interval = interval;
74 teaseTimer.mode = "teasing"
78 teaseTimer.mode = "teasing"
75 teaseTimer.start();
79 teaseTimer.start();
@@ -78,6 +82,7 @@ Item {
79 function hint() {
83 function hint() {
80 if (available && root.state == "") {
84 if (available && root.state == "") {
85+ teaseTimer.interval = 300;
81 teaseTimer.mode = "hinting"
86 teaseTimer.mode = "hinting"
82 teaseTimer.start();
87 teaseTimer.start();
@@ -85,8 +90,7 @@ Item {
87 id: teaseTimer
92 id: teaseTimer
88− interval: mode == "teasing" ? 200 : 300
89− property string mode: "teasing"
93+ property string mode
@@ -158,7 +162,7 @@ Item {
159 MouseArea {
163 MouseArea {
160 id: launcherDragArea
164 id: launcherDragArea
161− enabled: root.state == "visible"
165+ enabled: root.available && root.state == "visible"
162 anchors.fill: panel
166 anchors.fill: panel
163 anchors.rightMargin: -units.gu(2)
167 anchors.rightMargin: -units.gu(2)