# HG changeset patch # User HIROSE Yuuji # Date 1331295650 -32400 # Node ID 388eaa8b695a25a7dadcfd7d037386478a891dc1 # Parent 9d022a5315492e8a987a9236bf9a4349e8460f35 Label replacement should be FIXEDCASE. diff -r 9d022a531549 -r 388eaa8b695a yatexadd.el --- a/yatexadd.el Wed Feb 29 10:45:01 2012 +0900 +++ b/yatexadd.el Fri Mar 09 21:20:50 2012 +0900 @@ -2,7 +2,7 @@ ;;; YaTeX add-in functions. ;;; yatexadd.el rev.20 ;;; (c)1991-2012 by HIROSE Yuuji.[yuuji@yatex.org] -;;; Last modified Mon Feb 13 15:20:11 2012 on firestorm +;;; Last modified Fri Mar 9 21:19:09 2012 on firestorm ;;; $Id$ ;;; @@ -1224,7 +1224,7 @@ (sit-for 0) (select-window sw)) ((= ch ?n) (throw 'query nil))))))) - (replace-match new)) + (replace-match new t)) (and ov (delete-overlay ov))))) (setq bufs (cdr bufs)))))))