patches/gnome-terminal-01-menu-entry.diff
changeset 12570 a1b3a4defa67
parent 11619 142af4376d61
child 13110 7bb14c176801
--- a/patches/gnome-terminal-01-menu-entry.diff	Tue Jun 03 13:43:56 2008 +0000
+++ b/patches/gnome-terminal-01-menu-entry.diff	Tue Jun 03 14:14:42 2008 +0000
@@ -1,5 +1,5 @@
---- gnome-terminal-2.21.91/gnome-terminal.desktop.in.in.orig	2008-02-12 16:45:05.266252316 +0000
-+++ gnome-terminal-2.21.91/gnome-terminal.desktop.in.in	2008-02-12 16:45:40.682888219 +0000
+--- gnome-terminal-2.23.3/gnome-terminal.desktop.in.in.orig	2008-02-12 16:45:05.266252316 +0000
++++ gnome-terminal-2.23.3/gnome-terminal.desktop.in.in	2008-02-12 16:45:40.682888219 +0000
 @@ -1,7 +1,8 @@
  [Desktop Entry]
  Encoding=UTF-8
@@ -9,7 +9,7 @@
 +_Comment=Run a command line shell
  TryExec=gnome-terminal
  Exec=gnome-terminal
- Icon=gnome-terminal
+ Icon=utilities-terminal
 @@ -11,5 +12,5 @@
  X-GNOME-Bugzilla-Product=gnome-terminal
  X-GNOME-Bugzilla-Component=BugBuddyBugs