changeset 60974:3b3a70819e4b

(GTK resources): Update menu for changed node name.
author Luc Teirlinck <teirllm@auburn.edu>
date Sat, 26 Mar 2005 14:53:42 +0000
parents a6879257cbcb
children c7c6caacbc9e
files man/xresources.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/xresources.texi	Sat Mar 26 14:46:16 2005 +0000
+++ b/man/xresources.texi	Sat Mar 26 14:53:42 2005 +0000
@@ -631,7 +631,7 @@
 
 @menu
 * GTK widget names::      How widgets in GTK are named in general.
-* GTK names in Emacs::    GTK widget names in Emacs.
+* GTK Names in Emacs::    GTK widget names in Emacs.
 * GTK styles::            What can be customized in a GTK widget.
 @end menu