yatex

changeset 267:388eaa8b695a dev

Label replacement should be FIXEDCASE.
author HIROSE Yuuji <yuuji@gentei.org>
date Fri, 09 Mar 2012 21:20:50 +0900
parents 9d022a531549
children a0fa76e6f461
files yatexadd.el
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line diff
     1.1 --- a/yatexadd.el	Wed Feb 29 10:45:01 2012 +0900
     1.2 +++ b/yatexadd.el	Fri Mar 09 21:20:50 2012 +0900
     1.3 @@ -2,7 +2,7 @@
     1.4  ;;; YaTeX add-in functions.
     1.5  ;;; yatexadd.el rev.20
     1.6  ;;; (c)1991-2012 by HIROSE Yuuji.[yuuji@yatex.org]
     1.7 -;;; Last modified Mon Feb 13 15:20:11 2012 on firestorm
     1.8 +;;; Last modified Fri Mar  9 21:19:09 2012 on firestorm
     1.9  ;;; $Id$
    1.10  
    1.11  ;;;
    1.12 @@ -1224,7 +1224,7 @@
    1.13  				 (sit-for 0)
    1.14  				 (select-window sw))
    1.15  				((= ch ?n) (throw 'query nil)))))))
    1.16 -		      (replace-match new))
    1.17 +		      (replace-match new t))
    1.18  		(and ov (delete-overlay ov)))))
    1.19  	  (setq bufs (cdr bufs)))))))
    1.20