From ab20a93f6ab7459242fbdaea82fba2d4107e977a Mon Sep 17 00:00:00 2001 From: tomo Date: Thu, 2 Jun 2005 07:39:56 +0000 Subject: [PATCH] (www-ids-find-format-line): Add setting for "&ZOB-dddd;". --- www/www-ids-find.el | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/www/www-ids-find.el b/www/www-ids-find.el index 5446d1f..cf47c73 100644 --- a/www/www-ids-find.el +++ b/www/www-ids-find.el @@ -71,6 +71,14 @@ plane code plane code)) (insert (format "C%d-%04X" plane code)) ) + ((string-match "&ZOB-\\([0-9]+\\);" str) + (setq code (string-to-int (match-string 1 str))) + (insert "\"ZOB-%04d\"\n" + code code)) + (insert (format "ZOB-%04d" code)) + ) (t (insert "