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 wrap: on
line diff
--- 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)))))))
 

yatex.org