diff man/commands.texi @ 29941:0c77254c90b8

(get_keyelt): For menu-items containing a `:filter FILTER', apply FILTER to the menu-item's definition to get the real definition to use.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 26 Jun 2000 15:04:22 +0000
parents 8cda50572ee2
children b7c8067e0332
line wrap: on
line diff