+++ /dev/null
---- gnome-terminal-3.2.1/gnome-terminal.desktop.in.in~ 2009-04-17 18:30:44.000000000 +0200
-+++ gnome-terminal-3.2.1/gnome-terminal.desktop.in.in 2012-03-02 11:54:02.456100178 +0100
-@@ -1,5 +1,5 @@
- [Desktop Entry]
--_Name=Terminal
-+_Name=GNOME Terminal
- _Comment=Use the command line
- TryExec=gnome-terminal
- Exec=gnome-terminal