(www-ids-find-version): Update to 0.24.1.
authortomo <tomo>
Fri, 30 May 2008 11:57:57 +0000 (11:57 +0000)
committertomo <tomo>
Fri, 30 May 2008 11:57:57 +0000 (11:57 +0000)
commitfd1bdad82b669f5334b7e23877d1fa0d2082600c
tree8566c792627e7ee100f424da4c91c9f9a9b4deaa
parent6a897229e002eb82a275d806d5cd61668ca3080d
(www-ids-find-version): Update to 0.24.1.
(www-ids-find-format-char): Add new optional argument `code-desc';
don't display description of code when `code-desc' is not specified.
(www-ids-find-format-line): Use `www-ids-find-format-char' with
`code-desc' mode for a top character; use `www-ids-find-format-char'
for IDS.
www/www-ids-find.el