diff src/widget.h @ 38036:018637678f29

(case-replace, query-replace-from-history-variable) (query-replace-to-history-variable, keep-lines-read-args) (occur-revert-function, query-replace-help): Dox fix.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 14 Jun 2001 08:16:27 +0000
parents 29053ba75ce5
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff