Added a condition around the local file removal logic to only do it if the .desktop file exists somewhere other than the user's local directory structure.

2010-01-22 16:24:50 -05:00 · 2010-01-22 16:24:50 -05:00 · 8050294021
commit 8050294021
parent 8392acfa8e
1 changed files with 6 additions and 5 deletions
--- a/usr/lib/linuxmint/mintMenu/plugins/applications.py
+++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py
@ -750,6 +750,7 @@ class pluginclass( object ):

 		os.system('gnome-desktop-item-edit ' + file_path) 

+		if file_path != widget.desktopFile:
 			if filecmp.cmp(widget.desktopFile, file_path):
 				try:
 					os.remove(file_path)