@@ -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
@@ -105,7 +108,10 @@ FocusScope {
108− function hide() {
111+ function hide(flags) {
112+ if ((flags & ignoreHideIfMouseOverLauncher) && Utils.Functions.itemUnderMouse(panel)) {
109 switchToNextState("")
115 switchToNextState("")
@@ -416,11 +422,11 @@ FocusScope {
416 property bool animate: true
422 property bool animate: true
418 onApplicationSelected: {
424 onApplicationSelected: {
419− root.hide();
425+ root.hide(ignoreHideIfMouseOverLauncher);
420 launcherApplicationSelected(appId)
426 launcherApplicationSelected(appId)
422 onShowDashHome: {
428 onShowDashHome: {
423− root.hide();
429+ root.hide(ignoreHideIfMouseOverLauncher);
424 root.showDashHome();
430 root.showDashHome();