From 0e76e1ea266d9f84717b7fc98c7c9a24da26017e Mon Sep 17 00:00:00 2001 From: Luc Teirlinck Date: Sat, 26 Mar 2005 14:53:42 +0000 Subject: [PATCH] (GTK resources): Update menu for changed node name. --- man/xresources.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man/xresources.texi b/man/xresources.texi index cd11e5ccd9a..3b55edfa5b3 100644 --- a/man/xresources.texi +++ b/man/xresources.texi @@ -631,7 +631,7 @@ find the document online, at @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 -- 2.39.2