Re: Changes in the menu bar

[Miles Bader]

Eli Zaretskii <address@hidden> writes:
> This is okay as well, provided that we mention ``regexp'' somewhere in
> the help text.  Amazingly enough, many users don't realize they can use 
> regular expressions here.

I don't think it's necessary, since the prompt actually says `(regexp)'.

-Miles
-- 
97% of everything is grunge