yatex
changeset 256:b1e70dc23208 dev
Clarify messages for typesetting process.
| author | HIROSE Yuuji <yuuji@gentei.org> |
|---|---|
| date | Sun, 12 Feb 2012 11:01:27 +0900 |
| parents | 214702e4df54 |
| children | 2b85ef062ccf |
| files | yatexprc.el |
| diffstat | 1 files changed, 7 insertions(+), 4 deletions(-) [+] |
line diff
1.1 --- a/yatexprc.el Sun Feb 12 10:50:18 2012 +0900 1.2 +++ b/yatexprc.el Sun Feb 12 11:01:27 2012 +0900 1.3 @@ -2,7 +2,7 @@ 1.4 ;;; YaTeX process handler. 1.5 ;;; yatexprc.el 1.6 ;;; (c)1993-2012 by HIROSE Yuuji.[yuuji@yatex.org] 1.7 -;;; Last modified Tue Jan 24 09:43:29 2012 on firestorm 1.8 +;;; Last modified Sun Feb 12 10:56:25 2012 on firestorm 1.9 ;;; $Id$ 1.10 1.11 ;(require 'yatex) 1.12 @@ -187,7 +187,7 @@ 1.13 (setq mode-line-process 1.14 (concat ": " 1.15 (symbol-name (process-status proc)))) 1.16 - (message mode-name " %s." 1.17 + (message "%s %s" mode-name 1.18 (if (eq (process-status proc) 'exit) 1.19 "done" "ceased")) 1.20 ;; If buffer and mode line shows that the process 1.21 @@ -225,7 +225,8 @@ 1.22 (set-marker YaTeX-typeset-marker (point))) 1.23 (set-process-sentinel 1.24 (start-process 1.25 - mode-name pbuf 1.26 + (setq mode-name (concat mode-name "*2")) 1.27 + pbuf 1.28 shell-file-name YaTeX-shell-command-option tobecalled) 1.29 'YaTeX-typeset-sentinel) 1.30 (if ppcmd 1.31 @@ -239,7 +240,9 @@ 1.32 ((and ppcmd (string-match "finish" mes)) 1.33 (insert (format "=======> Success! Calling %s\n" ppcmd)) 1.34 (setq mode-name ; set process name 1.35 - (substring ppcmd 0 (string-match " " ppcmd))) 1.36 + (concat 1.37 + mode-name "+" 1.38 + (substring ppcmd 0 (string-match " " ppcmd)))) 1.39 ; to reach here, 'start-process exists on this emacsen 1.40 (set-process-sentinel 1.41 (start-process