patches/gnome-terminal-01-menu-entry.diff
changeset 11331 4e42ea91d20d
child 11619 142af4376d61
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/patches/gnome-terminal-01-menu-entry.diff	Tue Dec 18 12:53:27 2007 +0000
@@ -0,0 +1,20 @@
+diff -urN gnome-terminal-2.18.0/gnome-terminal.desktop.in.in gnome-terminal-2.18.0-hacked/gnome-terminal.desktop.in.in
+--- gnome-terminal-2.18.0/gnome-terminal.desktop.in.in	2006-01-30 17:01:37.000000000 +1300
++++ gnome-terminal-2.18.0-hacked/gnome-terminal.desktop.in.in	2006-06-02 14:13:32.394446000 +1200
+@@ -1,7 +1,8 @@
+ [Desktop Entry]
+ Encoding=UTF-8
+ _Name=Terminal
+-_Comment=Use the command line
++# SUN_BRANDING
++_Comment=Run a command line shell
+ TryExec=gnome-terminal
+ Exec=gnome-terminal
+ Icon=gnome-terminal.png
+@@ -12,5 +12,5 @@
+ X-GNOME-Bugzilla-Product=gnome-terminal
+ X-GNOME-Bugzilla-Component=general
+ X-GNOME-Bugzilla-Version=@VERSION@
+-Categories=GNOME;GTK;Utility;TerminalEmulator;
++Categories=GNOME;GTK;Application;System;TerminalEmulator;
+ StartupNotify=true