diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index 8c7359b..8499ef0 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -750,11 +750,12 @@ class pluginclass( object ): os.system('gnome-desktop-item-edit ' + file_path) - if filecmp.cmp(widget.desktopFile, file_path): - try: - os.remove(file_path) - except os.error: - pass + if file_path != widget.desktopFile: + if filecmp.cmp(widget.desktopFile, file_path): + try: + os.remove(file_path) + except os.error: + pass self.mintMenuWin.hide()