Skip to content

Commit

Permalink
Delete window's menu when closing a window
Browse files Browse the repository at this point in the history
  • Loading branch information
glebihan committed Dec 15, 2011
1 parent f6d0e9a commit 3dafbb1
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions js/ui/windowlist.js
Expand Up @@ -91,6 +91,7 @@ AppMenuButtonRightClickMenu.prototype = {

_onCloseWindowActivate: function(actor, event){
this.metaWindow.delete(global.get_current_time());
this.destroy();
},

_onMinimizeWindowActivate: function(actor, event){
Expand Down Expand Up @@ -333,6 +334,7 @@ AppMenuButton.prototype = {
this._windowHandle(false);
} else if (Shell.get_event_state(event) & Clutter.ModifierType.BUTTON2_MASK) {
this.metaWindow.delete(global.get_current_time());
this.rightClickMenu.destroy();
} else if (Shell.get_event_state(event) & Clutter.ModifierType.BUTTON3_MASK) {
if (!this.rightClickMenu.isOpen) {
// Setting the max-height won't do any good if the minimum height of the
Expand Down

0 comments on commit 3dafbb1

Please sign in to comment.