Unity

Merge lp:~unity-team/unity/unity.fix-595880-2 into lp:unity

  1. unity.fix-595880-2
  2. Merge into trunk
Proposed by Mirco Müller
Status: Merged
Approved by: Mirco Müller
Approved revision: no longer in the source branch.
Merged at revision: 340
Proposed branch: lp:~unity-team/unity/unity.fix-595880-2
Merge into: lp:unity
Diff against target: 27 lines (+6/-0)
2 files modified
unity-private/launcher/scroller-view.vala (+4/-0)
unity-private/panel/panel-home-button.vala (+2/-0)
To merge this branch: bzr merge lp:~unity-team/unity/unity.fix-595880-2
Reviewer Review Type Date Requested Status
Jay Taoko (community) Approve
Review via email: mp+28034@code.launchpad.net

Description of the change

modified:
  unity-private/launcher/scroller-view.vala
  unity-private/panel/panel-home-button.vala

This makes sure also clicks on home-button (Ubuntu-logo), launcher-icon or empty launcher-area close any open panel/indicator menu.

Completes fix for LP: #595880.

To post a comment you must log in.
Revision history for this message
Jay Taoko (jaytaoko) wrote :

Approved

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'unity-private/launcher/scroller-view.vala'
--- unity-private/launcher/scroller-view.vala 2010-06-17 10:14:24 +0000
+++ unity-private/launcher/scroller-view.vala 2010-06-21 09:19:22 +0000
@@ -316,6 +316,10 @@
316 }316 }
317 fling_timeline.start ();317 fling_timeline.start ();
318 }318 }
319
320 MenuManager manager = MenuManager.get_default ();
321 manager.popdown_current_menu ();
322
319 return true;323 return true;
320 }324 }
321325
322326
=== modified file 'unity-private/panel/panel-home-button.vala'
--- unity-private/panel/panel-home-button.vala 2010-06-03 17:20:37 +0000
+++ unity-private/panel/panel-home-button.vala 2010-06-21 09:19:22 +0000
@@ -107,6 +107,8 @@
107 private bool on_button_release (Clutter.Event event)107 private bool on_button_release (Clutter.Event event)
108 {108 {
109 shell.show_unity ();109 shell.show_unity ();
110 MenuManager manager = MenuManager.get_default ();
111 manager.popdown_current_menu ();
110 return true;112 return true;
111 }113 }
112 }114 }