annotate etc/ctags.1 @ 25885:6a0fe1278e4d

(make_menu_in_widget, update_one_menu_entry): Use widgets instead of gadgets to be able to set colors.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 06 Oct 1999 23:25:07 +0000
parents e96ffe544684
children 695cf19ef79e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
1 .so man1/etags.1