From 597c30c67d021b0f15a649560fdb318f13f1b754 Mon Sep 17 00:00:00 2001 From: monsta Date: Wed, 2 Apr 2014 12:42:43 +0400 Subject: [PATCH] Don't hide mintMenu on "Empty trash" popup --- usr/lib/linuxmint/mintMenu/plugins/places.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/usr/lib/linuxmint/mintMenu/plugins/places.py b/usr/lib/linuxmint/mintMenu/plugins/places.py index d3aa835..c5a55fa 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/places.py +++ b/usr/lib/linuxmint/mintMenu/plugins/places.py @@ -263,8 +263,8 @@ class pluginclass( object ): trashMenu.append(emptyTrashMenuItem) trashMenu.show_all() emptyTrashMenuItem.connect ( "activate", self.emptyTrash, widget ) + self.mintMenuWin.stopHiding() gtk.gtk_menu_popup(hash(trashMenu), None, None, None, None, 3, 0) - self.mintMenuWin.grab() def emptyTrash( self, menu, widget): os.system("rm -rf " + home + "/.local/share/Trash/info/*")