diff options
| author | Luc Teirlinck | 2005-03-26 14:53:42 +0000 |
|---|---|---|
| committer | Luc Teirlinck | 2005-03-26 14:53:42 +0000 |
| commit | 0e76e1ea266d9f84717b7fc98c7c9a24da26017e (patch) | |
| tree | 61e5c98cc1d9503def2a2a0a6457cc59b60ed630 | |
| parent | be940bc538e28d6e3a9ba1337f5aafc046a96272 (diff) | |
| download | emacs-0e76e1ea266d9f84717b7fc98c7c9a24da26017e.tar.gz emacs-0e76e1ea266d9f84717b7fc98c7c9a24da26017e.zip | |
(GTK resources): Update menu for changed node name.
| -rw-r--r-- | man/xresources.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
| 631 | 631 | ||
| 632 | @menu | 632 | @menu |
| 633 | * GTK widget names:: How widgets in GTK are named in general. | 633 | * GTK widget names:: How widgets in GTK are named in general. |
| 634 | * GTK names in Emacs:: GTK widget names in Emacs. | 634 | * GTK Names in Emacs:: GTK widget names in Emacs. |
| 635 | * GTK styles:: What can be customized in a GTK widget. | 635 | * GTK styles:: What can be customized in a GTK widget. |
| 636 | @end menu | 636 | @end menu |
| 637 | 637 | ||