yatex

changeset 192:7cf62e088eb5 dev

Refine guidance after manual input of \end{}.
author yuuji@gentei.org
date Mon, 09 Jan 2012 14:02:38 +0900
parents af2098da767b
children e216f9f347fa
files yatex.el
diffstat 1 files changed, 14 insertions(+), 10 deletions(-) [+]
line diff
     1.1 --- a/yatex.el	Sat Dec 17 13:07:38 2011 +0900
     1.2 +++ b/yatex.el	Mon Jan 09 14:02:38 2012 +0900
     1.3 @@ -2,7 +2,7 @@
     1.4  ;;; Yet Another tex-mode for emacs - //野鳥//
     1.5  ;;; yatex.el rev. 1.74.6
     1.6  ;;; (c)1991-2011 by HIROSE Yuuji.[yuuji@yatex.org]
     1.7 -;;; Last modified Thu Dec 15 13:37:47 2011 on firestorm
     1.8 +;;; Last modified Mon Jan  9 11:29:44 2012 on firestorm
     1.9  ;;; $Id$
    1.10  ;;; The latest version of this software is always available at;
    1.11  ;;; http://www.yatex.org/
    1.12 @@ -1236,15 +1236,19 @@
    1.13  	   (save-excursion (backward-char 4) (looking-at "\\\\end"))
    1.14  	   (not (YaTeX-literal-p))
    1.15  	   (setq env (YaTeX-inner-environment)))
    1.16 -      (momentary-string-display
    1.17 -       (concat
    1.18 -	"{"
    1.19 -	(cond
    1.20 -	 (YaTeX-japan
    1.21 -	  (format "今度からはちゃんと %s b を使いましょう" YaTeX-prefix))
    1.22 -	 (t (format "You don't understand Zen of `%s b':p" YaTeX-prefix)))
    1.23 -	"}")
    1.24 -       (point))
    1.25 +      (if (equal (get 'YaTeX-insert-braces 'begend-guide) 2)
    1.26 +	  nil				;if triggered thrice, do nothing
    1.27 +	(momentary-string-display
    1.28 +	 (format
    1.29 +	  (cond
    1.30 +	   (YaTeX-japan "{begin/end入力には %s を使いましょう}")
    1.31 +	   (t "{You don't understand Zen of `%s'!}"))
    1.32 +	  (key-description (car (where-is-internal 'YaTeX-make-begin-end))))
    1.33 +	 (point))
    1.34 +	(put 'YaTeX-insert-braces 'begend-guide
    1.35 +	     (+ 1 (string-to-int	;increment counter of beg-end guidance
    1.36 +		   (prin1-to-string
    1.37 +		    (get 'YaTeX-insert-braces 'begend-guide))))))
    1.38        (insert (or open "{") env (or close "}")))
    1.39       (t
    1.40        (insert (or open "{") (or close "}"))