@@ -19,10 +19,13 @@ import "../Components"
19import Ubuntu.Components 1.3
19import Ubuntu.Components 1.3
20import Ubuntu.Gestures 0.1
20import Ubuntu.Gestures 0.1
21import Unity.Launcher 0.1
21import Unity.Launcher 0.1
22+import Utils 0.1 as Utils
23FocusScope {
24FocusScope {
27+ readonly property int ignoreHideIfMouseOverLauncher: 1
26 property bool autohideEnabled: false
29 property bool autohideEnabled: false
27 property bool lockedVisible: false
30 property bool lockedVisible: false
28 property bool available: true // can be used to disable all interactions
31 property bool available: true // can be used to disable all interactions
@@ -102,7 +105,10 @@ FocusScope {
105− function hide() {
108+ function hide(flags) {
109+ if ((flags & ignoreHideIfMouseOverLauncher) && Utils.Functions.itemUnderMouse(panel)) {
106 switchToNextState("")
112 switchToNextState("")
@@ -359,11 +365,11 @@ FocusScope {
359 property bool animate: true
365 property bool animate: true
361 onApplicationSelected: {
367 onApplicationSelected: {
362− root.hide();
368+ root.hide(ignoreHideIfMouseOverLauncher);
363 launcherApplicationSelected(appId)
369 launcherApplicationSelected(appId)
365 onShowDashHome: {
371 onShowDashHome: {
366− root.hide();
372+ root.hide(ignoreHideIfMouseOverLauncher);
367 root.showDashHome();
373 root.showDashHome();