yatex: yatexprc.el annotate

annotate yatexprc.el @ 395:5aa8208fbef0 dev

Change header lines.

author	HIROSE Yuuji <yuuji@gentei.org>
date	Fri, 16 Jan 2015 10:39:19 +0900
parents	e834bbfce2ab
children	33bde8c52fcc

rev	line source
395 5aa8208fbef0 Change header lines. HIROSE Yuuji <yuuji@gentei.org> parents: 391 diff changeset	1 ;;; yatexprc.el --- YaTeX process handler -- coding: sjis --
287 5921f28ef77c Change the first lines. HIROSE Yuuji <yuuji@gentei.org> parents: 263 diff changeset	2 ;;;
384 e95ae850eefb Update copyright lines and so on. HIROSE Yuuji <yuuji@gentei.org> parents: 381 diff changeset	3 ;;; (c)1993-2015 by HIROSE Yuuji.[yuuji@yatex.org]
395 5aa8208fbef0 Change header lines. HIROSE Yuuji <yuuji@gentei.org> parents: 391 diff changeset	4 ;;; Last modified Fri Jan 16 10:33:37 2015 on firestorm
367 d4413f5043dc Eliminate debugging flag HIROSE Yuuji <yuuji@gentei.org> parents: 364 diff changeset	5 ;;; $Id$
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	6
287 5921f28ef77c Change the first lines. HIROSE Yuuji <yuuji@gentei.org> parents: 263 diff changeset	7 ;;; Code:
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	8 ;(require 'yatex)
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	9 (require 'yatexlib)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	10
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	11 (defvar YaTeX-typeset-process nil
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	12 "Process identifier for latex")
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	13
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	14 (defvar YaTeX-typeset-buffer "YaTeX-typesetting"
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	15 "Process buffer for latex")
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	16
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	17 (defvar YaTeX-typeset-buffer-syntax nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	18 "*Syntax table for typesetting buffer")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	19
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	20 (defvar YaTeX-current-TeX-buffer nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	21 "Keeps the buffer on which recently typeset run.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	22
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	23 (defvar YaTeX-shell-command-option
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	24 (or (and (boundp 'shell-command-option) shell-command-option)
68 0eb6997bee16 More adjustment for Emacs20 and XEmacs yuuji parents: 64 diff changeset	25 (and (boundp 'shell-command-switch) shell-command-switch)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	26 (if YaTeX-dos "/c" "-c"))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	27 "Shell option for command execution.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	28
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	29 (defvar YaTeX-latex-message-code
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	30 ;; (cond
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	31 ;; (YaTeX-dos (cdr (assq 1 YaTeX-kanji-code-alist)))
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	32 ;; ((and YaTeX-emacs-20 (member 'undecided (coding-system-list))
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	33 ;; 'undecided))
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	34 ;; ((featurep 'mule)
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	35 ;; (or (and (boundp 'autoconv) autoconv)
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	36 ;; (and (fboundp 'coding-system-list) 'automatic-conversion)))
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	37 ;; ((boundp 'NEMACS)
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	38 ;; (cdr (assq (if YaTeX-dos 1 2) YaTeX-kanji-code-alist))))
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	39 (cond
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	40 (YaTeX-dos (cdr (assq 1 YaTeX-kanji-code-alist)))
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	41 (YaTeX-emacs-20
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	42 (cdr (assoc latex-message-kanji-code YaTeX-kanji-code-alist)))
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	43 ((boundp 'MULE)
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	44 (symbol-value
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	45 (cdr (assoc latex-message-kanji-code YaTeX-kanji-code-alist))))
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	46 ((boundp 'NEMACS)
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	47 latex-message-kanji-code))
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	48 "Process coding system for LaTeX.")
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	49
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	50 (if YaTeX-typeset-buffer-syntax nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	51 (setq YaTeX-typeset-buffer-syntax
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	52 (make-syntax-table (standard-syntax-table)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	53 (modify-syntax-entry ?\{ "w" YaTeX-typeset-buffer-syntax)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	54 (modify-syntax-entry ?\} "w" YaTeX-typeset-buffer-syntax)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	55 (modify-syntax-entry ?\[ "w" YaTeX-typeset-buffer-syntax)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	56 (modify-syntax-entry ?\] "w" YaTeX-typeset-buffer-syntax))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	57
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	58 (defvar YaTeX-typeset-marker nil)
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	59 (defvar YaTeX-typeset-consumption nil)
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	60 (make-variable-buffer-local 'YaTeX-typeset-consumption)
213 6a2594372108 Remove unnecessary improvement. yuuji@gentei.org parents: 212 diff changeset	61 (defun YaTeX-typeset (command buffer &optional prcname modename ppcmd)
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	62 "Execute latex command (or other) to LaTeX typeset."
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	63 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	64 (save-excursion
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	65 (let ((p (point)) (window (selected-window)) execdir (cb (current-buffer))
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	66 (map YaTeX-typesetting-mode-map)
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	67 (background (string-match "\\*bg:" buffer))
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	68 (outcode
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	69 (cond ((eq major-mode 'yatex-mode) YaTeX-coding-system)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	70 ((eq major-mode 'yahtml-mode) yahtml-kanji-code))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	71 (if (and YaTeX-typeset-process
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	72 (eq (process-status YaTeX-typeset-process) 'run))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	73 ;; if tex command is halting.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	74 (YaTeX-kill-typeset-process YaTeX-typeset-process))
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	75 (YaTeX-put-nonstopmode)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	76 (setq prcname (or prcname "LaTeX")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	77 modename (or modename "typeset"))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	78 (if (eq major-mode 'yatex-mode) (YaTeX-visit-main t)) ;;execution dir
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	79 (setq execdir default-directory)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	80 ;;Select lower-most window if there are more than 2 windows and
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	81 ;;typeset buffer not seen.
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	82 (if background
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	83 nil ;do not showup
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	84 (YaTeX-showup-buffer
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	85 buffer 'YaTeX-showup-buffer-bottom-most))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	86 (set-buffer (get-buffer-create buffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	87 (setq default-directory execdir)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	88 (cd execdir)
213 6a2594372108 Remove unnecessary improvement. yuuji@gentei.org parents: 212 diff changeset	89 (erase-buffer)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	90 (cond
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	91 ((not (fboundp 'start-process)) ;YaTeX-dos;if MS-DOS
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	92 (call-process
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	93 shell-file-name nil buffer nil YaTeX-shell-command-option command))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	94 (t ;if UNIX
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	95 (set-process-buffer
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	96 (setq YaTeX-typeset-process
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	97 (start-process prcname buffer shell-file-name
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	98 YaTeX-shell-command-option command))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	99 (get-buffer buffer))
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	100 (set-process-sentinel YaTeX-typeset-process 'YaTeX-typeset-sentinel)
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	101 (put 'YaTeX-typeset-process 'thiscmd command)
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	102 (put 'YaTeX-typeset-process 'name prcname)
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	103 (if (fboundp 'current-time)
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	104 (setq YaTeX-typeset-consumption
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	105 (cons (cons 'time (current-time))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	106 (delq 'time YaTeX-typeset-consumption))))
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	107 (let ((ppprop (get 'YaTeX-typeset-process 'ppcmd)))
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	108 (setq ppprop (delq (assq YaTeX-typeset-process ppprop) ppprop))
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	109 (if ppcmd
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	110 (setq ppprop (cons (cons YaTeX-typeset-process ppcmd) ppprop)))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	111 (put 'YaTeX-typeset-process 'ppcmd ppprop))
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	112 (if (and (boundp 'bibcmd) bibcmd)
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	113 (let ((bcprop (get 'YaTeX-typeset-process 'bibcmd)))
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	114 (setq bcprop (cons
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	115 (cons YaTeX-typeset-process bibcmd)
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	116 (delq (assq YaTeX-typeset-process bcprop) bcprop)))
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	117 (put 'YaTeX-typeset-process 'bibcmd bcprop)))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	118 (message (format "Calling `%s'..." command))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	119 (setq YaTeX-current-TeX-buffer (buffer-name))
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	120 (use-local-map map) ;map may be localized
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	121 (set-syntax-table YaTeX-typeset-buffer-syntax)
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	122 (setq mode-name modename)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	123 (if YaTeX-typeset-process ;if process is running (maybe on UNIX)
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	124 (cond ((fboundp 'set-current-process-coding-system)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	125 (set-current-process-coding-system
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	126 YaTeX-latex-message-code outcode))
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	127 ((fboundp 'set-process-coding-system)
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	128 (set-process-coding-system
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	129 YaTeX-typeset-process YaTeX-latex-message-code outcode))
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	130 (YaTeX-emacs-20
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	131 (set-buffer-process-coding-system
36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	132 YaTeX-latex-message-code outcode))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	133 ((boundp 'NEMACS)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	134 (set-kanji-process-code YaTeX-latex-message-code))))
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	135 (set-marker (or YaTeX-typeset-marker
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	136 (setq YaTeX-typeset-marker (make-marker)))
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	137 (point))
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	138 (insert (format "Call `%s'\n" command))
370 037f8d4c3c70 Use 'start-process existence instead of YaTeX-dos. HIROSE Yuuji <yuuji@gentei.org> parents: 369 diff changeset	139 (cond
037f8d4c3c70 Use 'start-process existence instead of YaTeX-dos. HIROSE Yuuji <yuuji@gentei.org> parents: 369 diff changeset	140 ((fboundp 'start-process)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	141 (insert " ")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	142 (set-marker (process-mark YaTeX-typeset-process) (1- (point))))
370 037f8d4c3c70 Use 'start-process existence instead of YaTeX-dos. HIROSE Yuuji <yuuji@gentei.org> parents: 369 diff changeset	143 (t (message "Done.")))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	144 (if (bolp) (forward-line -1)) ;what for?
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	145 (cond
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	146 (background nil)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	147 ((and YaTeX-emacs-19 window-system)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	148 (let ((win (get-buffer-window buffer t)) owin)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	149 (select-frame (window-frame win))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	150 (setq owin (selected-window))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	151 (select-window win)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	152 (goto-char (point-max))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	153 (recenter -1)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	154 (select-window owin)))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	155 (t (select-window (get-buffer-window buffer))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	156 (goto-char (point-max))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	157 (recenter -1)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	158 (select-window window)
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	159 (switch-to-buffer cb)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	160 (YaTeX-remove-nonstopmode))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	161
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	162 (defvar YaTeX-typeset-auto-rerun t
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	163 "*Non-nil automatically reruns typesetter when cross-refs update found.
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	164 This is a toy mechanism. DO NOT RELY ON THIS MECHANISM.
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	165 You SHOULD check the integrity of cross-references with your eyes!!
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	166 Supplying an integer to this variable inhibit compulsory call of bibtex,
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	167 thus, it call bibtex only if warning messages about citation are seen.")
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	168 (defvar YaTeX-typeset-rerun-msg "Rerun to get cross-references right.")
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	169 (defvar YaTeX-typeset-citation-msg
261 8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	170 "Warning: Citation \`")
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	171 (defun YaTeX-typeset-sentinel (proc mes)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	172 (cond ((null (buffer-name (process-buffer proc)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	173 ;; buffer killed
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	174 (set-process-buffer proc nil))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	175 ((memq (process-status proc) '(signal exit))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	176 (let* ((obuf (current-buffer)) (pbuf (process-buffer proc))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	177 (pwin (get-buffer-window pbuf))
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	178 (owin (selected-window)) win
261 8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	179 tobecalled shortname
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	180 (thiscmd (get 'YaTeX-typeset-process 'thiscmd))
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	181 (ppprop (get 'YaTeX-typeset-process 'ppcmd))
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	182 z (ppcmd (cdr (assq proc ppprop)))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	183 (bcprop (get 'YaTeX-typeset-process 'bibcmd))
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	184 (bibcmd (cdr (assq proc bcprop))))
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	185 (put 'YaTeX-typeset-process 'ppcmd ;erase ppcmd
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	186 (delq (assq proc ppprop) ppprop))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	187 (put 'YaTeX-typeset-process 'bibcmd ;erase bibcmd
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	188 (delq (assq proc bcprop) bcprop))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	189 ;; save-excursion isn't the right thing if
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	190 ;; process-buffer is current-buffer
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	191 (unwind-protect
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	192 (progn
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	193 ;; Write something in typesetting and hack its mode line
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	194 (if pwin
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	195 (select-window pwin)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	196 (set-buffer pbuf))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	197 ;;(YaTeX-showup-buffer pbuf nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	198 (goto-char (point-max))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	199 (if pwin (recenter -3))
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	200 (insert ?\n mode-name " " mes)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	201 (forward-char -1)
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	202 (insert
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	203 (format " at %s%s\n"
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	204 (substring (current-time-string) 0 -5)
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	205 (if (and (fboundp 'current-time) (fboundp 'float)
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	206 (assq 'time YaTeX-typeset-consumption))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	207 (format
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	208 " (%.2f secs)"
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	209 (YaTeX-elapsed-time
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	210 (cdr (assq 'time YaTeX-typeset-consumption))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	211 (current-time))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	212 (setq mode-line-process
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	213 (concat ": "
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	214 (symbol-name (process-status proc))))
256 b1e70dc23208 Clarify messages for typesetting process. HIROSE Yuuji <yuuji@gentei.org> parents: 230 diff changeset	215 (message "%s %s" mode-name
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	216 (if (eq (process-status proc) 'exit)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	217 "done" "ceased"))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	218 ;; If buffer and mode line shows that the process
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	219 ;; is dead, we can delete it now. Otherwise it
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	220 ;; will stay around until M-x list-processes.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	221 (delete-process proc)
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	222 (if (cond
263 808f532d68d3 Inhibit auto-rerun of bibtex when using latexmk. HIROSE Yuuji <yuuji@gentei.org> parents: 262 diff changeset	223 ((or (not YaTeX-typeset-auto-rerun)
808f532d68d3 Inhibit auto-rerun of bibtex when using latexmk. HIROSE Yuuji <yuuji@gentei.org> parents: 262 diff changeset	224 (string-match "latexmk" thiscmd))
808f532d68d3 Inhibit auto-rerun of bibtex when using latexmk. HIROSE Yuuji <yuuji@gentei.org> parents: 262 diff changeset	225 nil)
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	226 ((and bibcmd ;Call bibtex if bibcmd defined &&
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	227 (or ; (1st call \|\| warning found)
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	228 (and (not (numberp YaTeX-typeset-auto-rerun))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	229 ; cancel call at 1st, if value is a number.
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	230 (not (string-match "bibtex" mode-name)))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	231 (re-search-backward
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	232 YaTeX-typeset-citation-msg
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	233 YaTeX-typeset-marker t))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	234 (save-excursion ; && using .bbl files.
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	235 (search-backward
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	236 ".bbl" YaTeX-typeset-marker t)))
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	237 ;; Always call bibtex after the first typesetting,
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	238 ;; because bibtex doesn't warn disappeared \cite.
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	239 ;; (Suggested by ryseto. 2012)
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	240 ;; It is more efficient to call bibtex directly than
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	241 ;; to call it after deep inspection on the balance
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	242 ;; of \cite vs. \bib's referring all .aux files.
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	243 (insert "\n" YaTeX-typeset-rerun-msg "\n")
261 8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	244 (setq tobecalled bibcmd shortname "+bibtex"))
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	245 ((or
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	246 (save-excursion
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	247 (search-backward
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	248 YaTeX-typeset-rerun-msg YaTeX-typeset-marker t))
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	249 (save-excursion
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	250 (re-search-backward
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	251 "natbib.*Rerun to get citations correct"
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	252 YaTeX-typeset-marker t)))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	253 (if bibcmd
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	254 (put 'YaTeX-typeset-process 'bibcmd
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	255 (cons (cons (get-buffer-process pbuf) bibcmd)
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	256 bcprop)))
261 8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	257 (setq tobecalled thiscmd shortname "+typeset"))
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	258 (t
8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	259 nil)) ;no need to call any process
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	260 (progn ;;Something occurs to call next command
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	261 (insert
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	262 (format
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	263 "===!!! %s !!!===\n"
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	264 (message "Rerun `%s' to get cross-references right"
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	265 tobecalled)))
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	266 (if (equal tobecalled thiscmd)
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	267 (set-marker YaTeX-typeset-marker (point)))
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	268 (set-process-sentinel
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	269 (start-process
261 8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	270 (setq mode-name (concat mode-name shortname))
256 b1e70dc23208 Clarify messages for typesetting process. HIROSE Yuuji <yuuji@gentei.org> parents: 230 diff changeset	271 pbuf
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	272 shell-file-name YaTeX-shell-command-option tobecalled)
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	273 'YaTeX-typeset-sentinel)
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	274 (if ppcmd
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	275 (put 'YaTeX-typeset-process 'ppcmd
c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	276 (cons (cons (get-buffer-process pbuf) ppcmd)
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	277 ppprop)))
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	278 (if thiscmd
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	279 (put 'YaTeX-typeset-process 'thiscmd thiscmd)))
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	280 ;; If ppcmd is active, call it.
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	281 (cond
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	282 ((and ppcmd (symbolp ppcmd) (fboundp ppcmd))
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	283 ;; If ppcmd is set and it is a function symbol,
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	284 ;; call it whenever command succeeded or not
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	285 (funcall ppcmd))
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	286 ((and ppcmd (string-match "finish" mes))
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	287 (insert (format "=======> Success! Calling %s\n" ppcmd))
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	288 (setq mode-name ; set process name
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	289 (concat
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	290 mode-name "+"
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	291 (substring ppcmd 0 (string-match " " ppcmd))))
212 c63a4ec6a492 Rerun typesetter when cross-reference warning seen. yuuji@gentei.org parents: 195 diff changeset	292 ; to reach here, 'start-process exists on this emacsen
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	293 (set-process-sentinel
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	294 (start-process
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	295 mode-name
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	296 pbuf ; Use this buffer twice.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	297 shell-file-name YaTeX-shell-command-option
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	298 ppcmd)
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	299 'YaTeX-typeset-sentinel))
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	300 (t
81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	301 (if (equal 0 (process-exit-status proc))
378 9452537530ac Process exit status handler fixed HIROSE Yuuji <yuuji@gentei.org> parents: 377 diff changeset	302 nil ;do nothing at successful exit
9452537530ac Process exit status handler fixed HIROSE Yuuji <yuuji@gentei.org> parents: 377 diff changeset	303 ;;Confirm process buffer to be shown when error
9452537530ac Process exit status handler fixed HIROSE Yuuji <yuuji@gentei.org> parents: 377 diff changeset	304 (YaTeX-showup-buffer
9452537530ac Process exit status handler fixed HIROSE Yuuji <yuuji@gentei.org> parents: 377 diff changeset	305 pbuf 'YaTeX-showup-buffer-bottom-most)
9452537530ac Process exit status handler fixed HIROSE Yuuji <yuuji@gentei.org> parents: 377 diff changeset	306 (message "Command FAILED!"))
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	307 ;;pull back original mode-name
261 8c555014f933 Auto-rerun supports natbib. HIROSE Yuuji <yuuji@gentei.org> parents: 260 diff changeset	308 (setq mode-name "typeset"))))
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	309 (forward-char 1))
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	310 (setq YaTeX-typeset-process nil)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	311 ;; Force mode line redisplay soon
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	312 (set-buffer-modified-p (buffer-modified-p))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	313 )
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	314 (select-window owin)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	315 (set-buffer obuf)))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	316
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	317 (defvar YaTeX-texput-file "texput.tex"
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	318 "*File name for temporary file of typeset-region.")
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	319
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	320 (defun YaTeX-typeset-region (&optional pp)
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	321 "Paste the region to the file `texput.tex' and execute typesetter.
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	322 The region is specified by the rule:
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	323 (1)If keyword `%#BEGIN' is found in the upper direction from (point).
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	324 (1-1)if the keyword `%#END' is found after `%#BEGIN',
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	325 ->Assume the text between `%#BEGIN' and `%#END' as region.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	326 (1-2)if the keyword `%#END' is not found anywhere after `%#BEGIN',
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	327 ->Assume the text after `%#BEGIN' as region.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	328 (2)If no `%#BEGIN' usage is found before the (point),
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	329 ->Assume the text between current (point) and (mark) as region.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	330 DON'T forget to eliminate the `%#BEGIN/%#END' notation after editing
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	331 operation to the region.
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	332 Optional second argument PP specifies post-processor command which will be
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	333 called with one argument of current file name whitout extension."
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	334 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	335 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	336 (let*
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	337 ((end "") typeout ;Type out message that tells the method of cutting.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	338 (texput YaTeX-texput-file)
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	339 (texputroot (substring texput 0 (string-match "\\.tex$" texput)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	340 (cmd (concat (YaTeX-get-latex-command nil) " " texput))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	341 (buffer (current-buffer)) opoint preamble (subpreamble "") main
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	342 (hilit-auto-highlight nil) ;for Emacs19 with hilit19
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	343 ppcmd
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	344 reg-begin reg-end lineinfo)
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	345 (setq ppcmd (if (stringp pp) (concat pp " " texputroot) pp))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	346 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	347 (if (search-backward "%#BEGIN" nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	348 (progn
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	349 (setq typeout "--- Region from BEGIN to "
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	350 end "the end of the buffer ---"
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	351 reg-begin (match-end 0))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	352 (if (search-forward "%#END" nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	353 (setq reg-end (match-beginning 0)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	354 end "END ---")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	355 (setq reg-end (point-max))))
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	356 (setq typeout "=== Region from (point) to (mark) ==="
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	357 reg-begin (point) reg-end (mark)))
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	358 (goto-char (min reg-begin reg-end))
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	359 (setq lineinfo (count-lines (point-min) (point-end-of-line)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	360 (goto-char (point-min))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	361 (while (search-forward "%#REQUIRE" nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	362 (setq subpreamble
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	363 (concat subpreamble
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	364 (cond
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	365 ((eolp)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	366 (buffer-substring
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	367 (match-beginning 0)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	368 (point-beginning-of-line)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	369 (t (buffer-substring
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	370 (match-end 0)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	371 (point-end-of-line))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	372 "\n"))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	373 (goto-char (match-end 0))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	374 (YaTeX-visit-main t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	375 (setq main (current-buffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	376 (setq opoint (point))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	377 (goto-char (point-min))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	378 (setq
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	379 preamble
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	380 (if (re-search-forward "^[ ]\\\\begin.{document}" nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	381 (buffer-substring (point-min) (match-end 0))
73 f41b01fef5d6 Stable version(hope to be) yuuji parents: 72 diff changeset	382 (concat
f41b01fef5d6 Stable version(hope to be) yuuji parents: 72 diff changeset	383 (if YaTeX-use-LaTeX2e "\\documentclass{" "\\documentstyle{")
f41b01fef5d6 Stable version(hope to be) yuuji parents: 72 diff changeset	384 YaTeX-default-document-style "}\n"
f41b01fef5d6 Stable version(hope to be) yuuji parents: 72 diff changeset	385 "\\begin{document}")))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	386 (goto-char opoint)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	387 ;;(set-buffer buffer) ;for clarity
133 e117bfc8ce66 Do not activate any major-mode for texput.tex at typeset-region. yuuji@gentei.org parents: 130 diff changeset	388 (let ((hilit-auto-highlight nil) (auto-mode-alist nil)
e117bfc8ce66 Do not activate any major-mode for texput.tex at typeset-region. yuuji@gentei.org parents: 130 diff changeset	389 (magic-mode-alist nil)) ;Do not activate yatex-mode here
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	390 (set-buffer (find-file-noselect texput)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	391 ;;(find-file YaTeX-texput-file)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	392 (erase-buffer)
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	393 (YaTeX-set-file-coding-system YaTeX-kanji-code YaTeX-coding-system)
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	394 (if (and (eq major-mode 'yatex-mode) YaTeX-need-nonstop)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	395 (insert "\\nonstopmode{}\n"))
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	396 (insert preamble "\n" subpreamble "\n"
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	397 "\\pagestyle{empty}\n\\thispagestyle{empty}\n")
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	398 (setq lineinfo (list (count-lines 1 (point-end-of-line)) lineinfo))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	399 (insert-buffer-substring buffer reg-begin reg-end)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	400 (insert "\\typeout{" typeout end "}\n") ;Notice the selected method.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	401 (insert "\n\\end{document}\n")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	402 (basic-save-buffer)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	403 (kill-buffer (current-buffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	404 (set-buffer main) ;return to parent file or itself.
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	405 (YaTeX-typeset cmd YaTeX-typeset-buffer nil nil ppcmd)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	406 (switch-to-buffer buffer) ;for Emacs-19
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	407 (put 'dvi2-command 'region t)
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	408 (put 'dvi2-command 'file buffer)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	409 (put 'dvi2-command 'offset lineinfo))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	410
381 fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	411 (defvar YaTeX-use-image-preview "png"
376 1bbd0c2b340f When on-the-fly preview activated, overlay indicate its busy state. HIROSE Yuuji <yuuji@gentei.org> parents: 375 diff changeset	412 "*Nil means not using image preview by [prefix] t e.
1bbd0c2b340f When on-the-fly preview activated, overlay indicate its busy state. HIROSE Yuuji <yuuji@gentei.org> parents: 375 diff changeset	413 Acceptable value is one of \"jpg\" or \"png\", which specifies
381 fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	414 format of preview image. NOTE that if your system has /usr/bin/sips
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	415 while not having convert(ImageMagick), jpeg format is automatically taken
381 fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	416 for conversion.")
355 6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	417 (defvar YaTeX-preview-image-mode-map nil
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	418 "Keymap used in YaTeX-preview-image-mode")
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	419 (defun YaTeX-preview-image-mode ()
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	420 (interactive)
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	421 (if YaTeX-preview-image-mode-map
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	422 nil
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	423 (let ((map (setq YaTeX-preview-image-mode-map (make-sparse-keymap))))
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	424 (define-key map "q" (lambda()(interactive)
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	425 (kill-buffer)
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	426 (select-window
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	427 (or (get 'YaTeX-typeset-process 'win)
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	428 (selected-window)))))
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	429 (define-key map "j" (lambda()(interactive) (scroll-up 1)))
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	430 (define-key map "k" (lambda()(interactive) (scroll-up -1)))))
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	431 (use-local-map YaTeX-preview-image-mode-map))
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	432
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	433 (defvar YaTeX-typeset-pdf2image-chain
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	434 (cond
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	435 ((YaTeX-executable-find "pdfcrop") ;Mac OS X
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	436 (list
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	437 "pdfcrop --clip %b.pdf tmp.pdf"
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	438 (if (YaTeX-executable-find "convert")
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	439 "convert -density %d tmp.pdf %b.%f"
381 fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	440 ;; If we use sips, specify jpeg as format
fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	441 "sips -s format jpeg -s dpiWidth %d -s dpiHeight %d %b.pdf --out %b.jpg")
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	442 "rm -f tmp.pdf")))
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	443 "*Pipe line of command as a list to create image file from PDF.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	444 See also doc-string of YaTeX-typeset-dvi2image-chain.")
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	445
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	446 (defvar YaTeX-typeset-dvi2image-chain
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	447 (cond
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	448 ((YaTeX-executable-find YaTeX-cmd-dvips)
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	449 (list
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	450 (format "%s -E -o %%b.eps %%b.dvi" YaTeX-cmd-dvips)
381 fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	451 "convert -alpha off -density %d %b.eps %b.%f"))
fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	452 ((and (equal YaTeX-use-image-preview "png")
fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	453 (YaTeX-executable-find "dvipng"))
fc1ad3b337a9 Platform dependent default parameters adjusted HIROSE Yuuji <yuuji@gentei.org> parents: 380 diff changeset	454 (list "dvipng %b.dvi")))
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	455 "*Pipe line of command as a list to create png file from DVI or PDF.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	456 %-notation rewritten list:
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	457 %b basename of target file(\"texput\")
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	458 %f Output format(\"png\")
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	459 %d DPI
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	460 ")
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	461
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	462 (defvar YaTeX-typeset-conv2image-chain-alist
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	463 (list (cons 'pdf YaTeX-typeset-pdf2image-chain)
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	464 (cons 'dvi YaTeX-typeset-dvi2image-chain))
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	465 "Default alist for creating image files from DVI/PDF.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	466 The value is generated from YaTeX-typeset-pdf2image-chain and
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	467 YaTeX-typeset-dvi2image-chain.")
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	468
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	469 (defvar YaTeX-typeset-conv2image-process nil "Process of conv2image chain")
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	470 (defun YaTeX-typeset-conv2image-chain ()
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	471 (let*((proc (or YaTeX-typeset-process YaTeX-typeset-conv2image-process))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	472 (prevname (process-name proc))
376 1bbd0c2b340f When on-the-fly preview activated, overlay indicate its busy state. HIROSE Yuuji <yuuji@gentei.org> parents: 375 diff changeset	473 (texput "texput")
1bbd0c2b340f When on-the-fly preview activated, overlay indicate its busy state. HIROSE Yuuji <yuuji@gentei.org> parents: 375 diff changeset	474 (format YaTeX-use-image-preview)
374 9b3093c0c181 conv2image format set to jpg for testing HIROSE Yuuji <yuuji@gentei.org> parents: 373 diff changeset	475 (target (concat texput "." format))
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	476 (math (get 'YaTeX-typeset-conv2image-chain 'math))
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	477 (dpi (get 'YaTeX-typeset-conv2image-chain 'dpi))
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	478 (srctype (or (get 'YaTeX-typeset-conv2image-chain 'srctype)
374 9b3093c0c181 conv2image format set to jpg for testing HIROSE Yuuji <yuuji@gentei.org> parents: 373 diff changeset	479 (if (file-newer-than-file-p
9b3093c0c181 conv2image format set to jpg for testing HIROSE Yuuji <yuuji@gentei.org> parents: 373 diff changeset	480 (concat texput ".pdf")
9b3093c0c181 conv2image format set to jpg for testing HIROSE Yuuji <yuuji@gentei.org> parents: 373 diff changeset	481 (concat texput ".dvi"))
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	482 'pdf 'dvi)))
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	483 (chain (cdr (assq srctype YaTeX-typeset-conv2image-chain-alist)))
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	484 ;; This function is the first evaluation code.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	485 ;; If you find these command line does not work
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	486 ;; on your system, please tell the author
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	487 ;; which commands should be taken to achieve
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	488 ;; one-shot png previewing on your system
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	489 ;; before publishing patch on the Web.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	490 ;; Please please please please please.
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	491 (curproc (member prevname chain))
355 6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	492 (w (get 'YaTeX-typeset-conv2image-chain 'win))
6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	493 (pwd default-directory)
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	494 img)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	495 (if (not (= (process-exit-status proc) 0))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	496 (progn
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	497 (YaTeX-showup-buffer ;never comes here(?)
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	498 (current-buffer) 'YaTeX-showup-buffer-bottom-most)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	499 (message "Region typesetting FAILED"))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	500 (setq command
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	501 (if curproc (car (cdr-safe curproc)) (car chain)))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	502 (if command
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	503 (let ((cmdline (YaTeX-replace-formats
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	504 command
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	505 (list (cons "b" "texput")
374 9b3093c0c181 conv2image format set to jpg for testing HIROSE Yuuji <yuuji@gentei.org> parents: 373 diff changeset	506 (cons "f" format)
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	507 (cons "d" dpi)))))
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	508 (insert (format "Calling `%s'...\n" cmdline))
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	509 (set-process-sentinel
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	510 (setq YaTeX-typeset-conv2image-process
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	511 (start-process
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	512 command
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	513 (current-buffer)
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	514 shell-file-name YaTeX-shell-command-option
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	515 cmdline))
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	516 'YaTeX-typeset-sentinel)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	517 (put 'YaTeX-typeset-process 'ppcmd
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	518 (cons (cons (get-buffer-process (current-buffer))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	519 'YaTeX-typeset-conv2image-chain)
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	520 (get 'YaTeX-typeset-process 'ppcmd))))
5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	521 ;; After all chain executed, display image in current window
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	522 (cond
364 d69fd7b1ac4d yatex-1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 362 diff changeset	523 ((and (featurep 'image) window-system)
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	524 ;; If direct image displaying available in running Emacs,
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	525 ;; display target image into the next window in Emacs.
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	526 (select-window w)
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	527 ;(setq foo (selected-window))
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	528 (YaTeX-showup-buffer
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	529 (get-buffer-create " YaTeX-region-image")
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	530 'YaTeX-showup-buffer-bottom-most t)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	531 (remove-images (point-min) (point-max))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	532 (erase-buffer)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	533 (cd pwd) ;when reuse from other source
355 6c67a826f266 Hide temporary typesetting buffer HIROSE Yuuji <yuuji@gentei.org> parents: 354 diff changeset	534 ;(put-image (create-image (expand-file-name target)) (point))
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	535 (insert-image-file target)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	536 (setq img (plist-get (text-properties-at (point)) 'intangible))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	537 (YaTeX-preview-image-mode)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	538 (if img
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	539 (let ((height (cdr (image-size img))))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	540 (enlarge-window
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	541 (- (ceiling (min height (/ (frame-height) 2)))
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	542 (window-height)))))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	543 ;; Remember elapsed time, which will be threshold in auto-preview
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	544 (put 'YaTeX-typeset-conv2image-chain 'elapse
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	545 (YaTeX-elapsed-time
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	546 (get 'YaTeX-typeset-conv2image-chain 'start) (current-time))))
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	547 (t
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	548 ;; Without direct image, display image with image viewer
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	549 (YaTeX-system
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	550 (format "%s %s" YaTeX-cmd-view-images target)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	551 "YaTeX-region-image"
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	552 'noask)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	553 )
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	554 )))))
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	555
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	556
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	557 (defvar YaTeX-typeset-environment-timer nil)
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	558 (defun YaTeX-typeset-environment-timer ()
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	559 "Update preview image in the
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	560 Plist: '(buf begPoint endPoint precedingChar 2precedingChar Substring time)"
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	561 (let*((plist (get 'YaTeX-typeset-environment-timer 'laststate))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	562 (b (nth 0 plist))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	563 (s (nth 1 plist))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	564 (e (nth 2 plist))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	565 (p (nth 3 plist))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	566 (q (nth 4 plist))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	567 (st (nth 5 plist))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	568 (tm (nth 6 plist))
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	569 (overlay YaTeX-on-the-fly-overlay)
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	570 (thresh (* 2 (or (get 'YaTeX-typeset-conv2image-chain 'elapse) 1))))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	571 (cond
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	572 ;; In minibuffer, do nothing
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	573 ((minibuffer-window-active-p (selected-window)) nil)
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	574 ;; If point went out from last environment, cancel timer
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	575 ;;;((and (message "s=%d, e=%d, p=%d" s e (point)) nil))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	576 ((or (not (eq b (window-buffer (selected-window))))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	577 (< (point) s)
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	578 (not (overlayp overlay))
81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	579 (not (eq (overlay-buffer overlay) (current-buffer)))
81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	580 (> (point) (overlay-end overlay)))
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	581 (YaTeX-typeset-environment-cancel-auto))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	582 ;;;((and (message "e=%d, p=%d t=%s" e (point) (current-time)) nil))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	583 ;; If recently called, hold
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	584 ;;; ((< (YaTeX-elapsed-time tm (current-time)) thresh) nil)
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	585 ;; If condition changed from last call, do it
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	586 ((not (string= st (YaTeX-buffer-substring s (overlay-end overlay))))
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	587 (YaTeX-typeset-environment)))))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	588
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	589
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	590 (defun YaTeX-typeset-environment-by-lmp ()
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	591 (save-excursion
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	592 (let ((sw (selected-window)))
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	593 (goto-char opoint)
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	594 (latex-math-preview-expression)
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	595 (select-window sw))))
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	596
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	597 (defun YaTeX-typeset-environment-by-builtin ()
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	598 (save-excursion
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	599 (YaTeX-typeset-region 'YaTeX-typeset-conv2image-chain)))
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	600
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	601 (defvar YaTeX-on-the-fly-math-preview-engine
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	602 (if (fboundp 'latex-math-preview-expression)
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	603 'YaTeX-typeset-environment-by-lmp
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	604 'YaTeX-typeset-environment-by-builtin)
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	605 "Function symbol to use math-preview.
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	606 'YaTeX-typeset-environment-by-lmp for using latex-math-preview,
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	607 'YaTeX-typeset-environment-by-builtin for using yatex-builtin.")
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	608
380 f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	609 (defun YaTeX-typeset-environment-1 ()
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	610 (let*((math (YaTeX-in-math-mode-p))
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	611 (dpi (or (YaTeX-get-builtin "PREVIEWDPI") (if math "300" "200")))
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	612 (opoint (point)) usetimer)
380 f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	613 (cond
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	614 ((and YaTeX-on-the-fly-overlay (overlayp YaTeX-on-the-fly-overlay)
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	615 (member YaTeX-on-the-fly-overlay (overlays-at (point))))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	616 ;; If current position is in on-the-fly overlay,
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	617 ;; use that region again
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	618 (setq math (get 'YaTeX-typeset-conv2image-chain 'math))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	619 (push-mark (overlay-start YaTeX-on-the-fly-overlay))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	620 (goto-char (overlay-end YaTeX-on-the-fly-overlay)))
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	621 ((YaTeX-region-active-p)
380 f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	622 nil) ;if region is active, use it
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	623 (math (setq usetimer t) (YaTeX-mark-environment))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	624 ((equal (or (YaTeX-inner-environment t) "document") "document")
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	625 (mark-paragraph))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	626 (t (setq usetimer t) (YaTeX-mark-environment)))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	627 (if YaTeX-use-image-preview
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	628 (let ((YaTeX-typeset-buffer (concat "*bg:" YaTeX-typeset-buffer))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	629 (b (region-beginning)) (e (region-end)))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	630 (put 'YaTeX-typeset-conv2image-chain 'math math)
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	631 (put 'YaTeX-typeset-conv2image-chain 'dpi dpi)
380 f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	632 (put 'YaTeX-typeset-conv2image-chain 'srctype nil)
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	633 (put 'YaTeX-typeset-conv2image-chain 'win (selected-window))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	634 (put 'YaTeX-typeset-conv2image-chain 'start (current-time))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	635 (put 'YaTeX-typeset-environment-timer 'laststate
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	636 (list (current-buffer) b e (preceding-char)
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	637 (char-after (- (point) 2))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	638 (YaTeX-buffer-substring b e)
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	639 (current-time)))
391 e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	640 (if math (funcall YaTeX-on-the-fly-math-preview-engine)
e834bbfce2ab Use latex-math-preview if available. %#PREVIEWDPI HIROSE Yuuji <yuuji@gentei.org> parents: 388 diff changeset	641 (YaTeX-typeset-region 'YaTeX-typeset-conv2image-chain))
380 f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	642 (if usetimer
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	643 (progn
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	644 (if YaTeX-on-the-fly-overlay
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	645 (move-overlay YaTeX-on-the-fly-overlay b e)
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	646 (overlay-put
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	647 (setq YaTeX-on-the-fly-overlay (make-overlay b e))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	648 'face 'YaTeX-on-the-fly-activated-face))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	649 (YaTeX-typeset-environment-auto)
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	650 )))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	651 (YaTeX-typeset-region))))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	652
130 8703f090c628 `[prefix] t e' for YaTeX-typeset-environment. yuuji@gentei.org parents: 125 diff changeset	653 (defun YaTeX-typeset-environment ()
371 f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	654 "Typeset current environment or paragraph.
f5b8e7415a25 Experimental code to split conv2img into dvi2png and pdf2png HIROSE Yuuji <yuuji@gentei.org> parents: 370 diff changeset	655 If region activated, use it."
130 8703f090c628 `[prefix] t e' for YaTeX-typeset-environment. yuuji@gentei.org parents: 125 diff changeset	656 (interactive)
380 f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	657 (let ((md (match-data)))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	658 (unwind-protect
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	659 (save-excursion
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	660 (YaTeX-typeset-environment-1))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	661 (store-match-data md))))
f061b37c7542 Equalize boundary of non-math environment with math environment. HIROSE Yuuji <yuuji@gentei.org> parents: 378 diff changeset	662
130 8703f090c628 `[prefix] t e' for YaTeX-typeset-environment. yuuji@gentei.org parents: 125 diff changeset	663
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	664 (defvar YaTeX-on-the-fly-preview-interval (string-to-number "0.9")
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	665 "*Control the on-the-fly update of preview environment by an image.
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	666 Nil disables on-the-fly update. Otherwise on-the-fly update is enabled
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	667 with update interval specified by this value.")
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	668
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	669 (defun YaTeX-typeset-environment-auto ()
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	670 "Turn on on-the-fly preview-image"
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	671 (if YaTeX-typeset-environment-timer
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	672 nil
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	673 (setq YaTeX-typeset-environment-timer
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	674 (run-with-idle-timer
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	675 (max (string-to-number "0.1")
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	676 (cond
377 81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	677 ((numberp YaTeX-on-the-fly-preview-interval)
81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	678 YaTeX-on-the-fly-preview-interval)
81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	679 ((stringp YaTeX-on-the-fly-preview-interval)
81413ee9c32d Use overlay to distinguish border of on-the-fly preview area. HIROSE Yuuji <yuuji@gentei.org> parents: 376 diff changeset	680 (string-to-number YaTeX-on-the-fly-preview-interval))
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	681 (t 1)))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	682 t 'YaTeX-typeset-environment-timer))))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	683
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	684 (defun YaTeX-typeset-environment-cancel-auto ()
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	685 "Cancel typeset-environment timer."
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	686 (interactive)
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	687 (cancel-timer YaTeX-typeset-environment-timer)
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	688 (setq YaTeX-typeset-environment-timer nil)
376 1bbd0c2b340f When on-the-fly preview activated, overlay indicate its busy state. HIROSE Yuuji <yuuji@gentei.org> parents: 375 diff changeset	689 (delete-overlay YaTeX-on-the-fly-overlay)
375 afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	690 (message "Auto-preview canceled"))
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	691
afb8cb06b1d4 First trial of on-the-fly image-preview HIROSE Yuuji <yuuji@gentei.org> parents: 374 diff changeset	692
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	693 (defun YaTeX-typeset-buffer (&optional pp)
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	694 "Typeset whole buffer.
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	695 If %#! usage says other buffer is main text,
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	696 visit main buffer to confirm if its includeonly list contains current
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	697 buffer's file. And if it doesn't contain editing text, ask user which
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	698 action wants to be done, A:Add list, R:Replace list, %:comment-out list.
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	699 If optional argument PP given as string, PP is considered as post-process
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	700 command and call it with the same command argument as typesetter without
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	701 last extension.
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	702 eg. if PP is \"dvipdfmx\", called commands as follows.
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	703 platex foo.tex
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	704 dvipdfmx foo
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	705 PP command will be called iff typeset command exit successfully"
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	706 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	707 (YaTeX-save-buffers)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	708 (let*((me (substring (buffer-name) 0 (rindex (buffer-name) ?.)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	709 (mydir (file-name-directory (buffer-file-name)))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	710 (cmd (YaTeX-get-latex-command t)) pparg ppcmd bibcmd
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	711 (cb (current-buffer)))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	712 (setq pparg (substring cmd 0 (string-match "[;&]" cmd)) ;rm multistmt
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	713 pparg (substring pparg (rindex pparg ? )) ;get last arg
9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	714 pparg (substring pparg 0 (rindex pparg ?.)) ;rm ext
262 15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	715 bibcmd (or (YaTeX-get-builtin "BIBTEX") bibtex-command))
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	716 (or (string-match "\\s " bibcmd) ;if bibcmd has no spaces,
15ec86ff549c Call always bibtex after first typesetting when document needs bibtex. HIROSE Yuuji <yuuji@gentei.org> parents: 261 diff changeset	717 (setq bibcmd (concat bibcmd pparg))) ;append argument(== %#!)
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	718 (and pp
590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	719 (stringp pp)
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	720 (setq ppcmd (concat pp pparg)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	721 (if (YaTeX-main-file-p) nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	722 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	723 (YaTeX-visit-main t) ;search into main buffer
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	724 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	725 (push-mark (point) t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	726 (goto-char (point-min))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	727 (if (and (re-search-forward "^[ ]*\\\\begin{document}" nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	728 (re-search-backward "^[ ]*\\\\includeonly{" nil t))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	729 (let*
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	730 ((b (progn (skip-chars-forward "^{") (point)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	731 (e (progn (skip-chars-forward "^}") (1+ (point))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	732 (s (buffer-substring b e)) c
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	733 (pardir (file-name-directory (buffer-file-name))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	734 (if (string-match (concat "[{,/]" me "[,}]") s)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	735 nil ; Nothing to do when it's already in includeonly.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	736 (ding)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	737 (switch-to-buffer (current-buffer));Display this buffer.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	738 (setq
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	739 me ;;Rewrite my name(me) to contain sub directory name.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	740 (concat
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	741 (if (string-match pardir mydir) ;if mydir is child of main
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	742 (substring mydir (length pardir)) ;cut absolute path
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	743 mydir) ;else concat absolute path name.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	744 me))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	745 (message
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	746 "`%s' is not in \\includeonly. A)dd R)eplace %%)comment? "
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	747 me)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	748 (setq c (read-char))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	749 (cond
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	750 ((= c ?a)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	751 (goto-char (1+ b))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	752 (insert me (if (string= s "{}") "" ",")))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	753 ((= c ?r)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	754 (delete-region (1+ b) (1- e)) (insert me))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	755 ((= c ?%)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	756 (beginning-of-line) (insert "%"))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	757 (t nil))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	758 (basic-save-buffer))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	759 (exchange-point-and-mark)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	760 (switch-to-buffer cb)) ;for 19
123 590fc51462c7 New typeset menu `latex+p(D)f' added. yuuji@gentei.org parents: 122 diff changeset	761 (YaTeX-typeset cmd YaTeX-typeset-buffer nil nil ppcmd)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	762 (put 'dvi2-command 'region nil)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	763
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	764 (defvar YaTeX-call-command-history nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	765 "Holds history list of YaTeX-call-command-on-file.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	766 (put 'YaTeX-call-command-history 'no-default t)
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	767 (defun YaTeX-call-command-on-file (base-cmd buffer &optional file)
171 670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	768 "Call external command BASE-CMD in the BUFFER.
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	769 By default, pass the basename of current file. Optional 3rd argument
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	770 FILE changes the default file name."
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	771 (YaTeX-save-buffers)
171 670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	772 (let ((default (concat base-cmd " "
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	773 (let ((me (file-name-nondirectory
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	774 (or file buffer-file-name))))
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	775 (if (string-match "\\.tex" me)
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	776 (substring me 0 (match-beginning 0))
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	777 me)))))
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	778 (or YaTeX-call-command-history
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	779 (setq YaTeX-call-command-history (list default)))
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	780 (YaTeX-typeset
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	781 (read-string-with-history
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	782 "Call command: "
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	783 (car YaTeX-call-command-history)
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	784 'YaTeX-call-command-history)
670549efa5c2 YaTeX-call-command-on-file: Use last input command line as default. yuuji@gentei.org parents: 152 diff changeset	785 buffer)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	786
227 3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	787 (defvar YaTeX-call-builtin-on-file)
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	788 (make-variable-buffer-local 'YaTeX-call-builtin-on-file)
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	789 (defun YaTeX-call-builtin-on-file (builtin-type &optional default update)
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	790 "Call command on file specified by BUILTIN-TYPE."
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	791 (YaTeX-save-buffers)
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	792 (let*((main (or YaTeX-parent-file
227 3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	793 (save-excursion (YaTeX-visit-main t) buffer-file-name)))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	794 (mainroot (file-name-nondirectory (substring main 0 (rindex main ?.))))
227 3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	795 (alist YaTeX-call-builtin-on-file)
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	796 (b-in (or (YaTeX-get-builtin builtin-type)
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	797 (cdr (assoc builtin-type alist))))
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	798 (command b-in))
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	799 (if (or update (null b-in))
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	800 (progn
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	801 (setq command (read-string-with-history
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	802 (format "%s command: " builtin-type)
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	803 (or b-in
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	804 (format "%s %s" default mainroot))
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	805 'YaTeX-call-command-history))
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	806 (if (or update (null b-in))
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	807 (if (y-or-n-p "Memorize this command line in this file? ")
227 3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	808 (YaTeX-getset-builtin builtin-type command) ;keep in a file
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	809 (setq YaTeX-call-builtin-on-file ;keep in memory
3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	810 (cons (cons builtin-type command)
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	811 (delete (assoc builtin-type alist) alist)))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	812 (message "`%s' kept in memory. Type `%s %s' to override."
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	813 command
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	814 (key-description
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	815 (car (where-is-internal 'universal-argument)))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	816 (key-description (this-command-keys)))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	817 (sit-for 2)))))
224 9705855793ca YaTeX-typeset-auto-rerun for labels and bibitems reference resolution. yuuji@gentei.org parents: 213 diff changeset	818 (YaTeX-typeset
227 3b2ac4652810 Handling of built-in is changed to use YaTeX-getset-builtin. yuuji@gentei.org parents: 224 diff changeset	819 command
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	820 (format " YaTeX-%s" (downcase builtin-type))
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	821 builtin-type builtin-type)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	822
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	823 (defun YaTeX-kill-typeset-process (proc)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	824 "Kill process PROC after sending signal to PROC.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	825 PROC should be process identifier."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	826 (cond
68 0eb6997bee16 More adjustment for Emacs20 and XEmacs yuuji parents: 64 diff changeset	827 ((not (fboundp 'start-process))
0eb6997bee16 More adjustment for Emacs20 and XEmacs yuuji parents: 64 diff changeset	828 (error "This system can't have concurrent process."))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	829 ((or (null proc) (not (eq (process-status proc) 'run)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	830 (message "Typesetting process is not running."))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	831 (t
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	832 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	833 (set-buffer (process-buffer proc))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	834 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	835 (goto-char (point-max))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	836 (beginning-of-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	837 (if (looking-at "\\? +$")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	838 (let ((mp (point-max)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	839 (process-send-string proc "x\n")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	840 (while (= mp (point-max)) (sit-for 1))))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	841 (if (eq (process-status proc) 'run)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	842 (progn
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	843 (interrupt-process proc)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	844 (delete-process proc))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	845
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	846 (defun YaTeX-system (command name &optional noask basedir)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	847 "Execute some COMMAND with process name `NAME'. Not a official function.
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	848 Optional second argument NOASK skip query when privious process running.
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	849 Optional third argument BASEDIR changes default-directory there."
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	850 (save-excursion
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	851 (let ((df default-directory)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	852 (buffer (get-buffer-create (format " %s" name)))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	853 proc status)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	854 (set-buffer buffer)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	855 (setq default-directory (cd (or basedir df)))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	856 (erase-buffer)
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	857 (insert (format "Calling `%s'...\n" command)
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	858 "==Kill this buffer to STOP process==")
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	859 (YaTeX-showup-buffer buffer 'YaTeX-showup-buffer-bottom-most)
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	860 (if (not (fboundp 'start-process))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	861 (call-process
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	862 shell-file-name nil buffer nil YaTeX-shell-command-option command)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	863 (if (and (setq proc (get-buffer-process buffer))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	864 (setq status (process-status proc))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	865 (eq status 'run)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	866 (not noask)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	867 (not
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	868 (y-or-n-p (format "Process %s is running. Continue?" buffer))))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	869 nil
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	870 (if (eq status 'run)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	871 (progn (interrupt-process proc) (delete-process proc)))
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	872 (set-process-buffer
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	873 (start-process
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	874 name buffer shell-file-name YaTeX-shell-command-option command)
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	875 (get-buffer buffer)))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	876
72 0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	877 (defvar YaTeX-default-paper-type "a4"
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	878 "*Default paper type.")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	879 (defconst YaTeX-paper-type-alist
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	880 '(("a4paper" . "a4")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	881 ("a5paper" . "a5")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	882 ("b4paper" . "b4")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	883 ("b5paper" . "b5"))
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	884 "Holds map of options and paper types.")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	885 (defconst YaTeX-dvips-paper-option-alist
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	886 '(("a4" . "-t a4")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	887 ("a5" . "-t a5")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	888 ("b4" . "-t b4")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	889 ("b5" . "-t b5")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	890 ("a4r" . "-t landscape"); Can't specify options, `-t a4' and `-t landscape', at the same time.
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	891 ("a5r" . "-t landscape")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	892 ("b4r" . "-t landscape")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	893 ("b5r" . "-t landscape"))
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	894 "Holds map of dvips options and paper types.")
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	895 (defun YaTeX-get-paper-type ()
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	896 "Search options in header and return a paper type, such as \"a4\", \"a4r\", etc."
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	897 (save-excursion
77 1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	898 (YaTeX-visit-main t)
72 0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	899 (goto-char (point-min))
77 1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	900 (let ((opts
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	901 (if (re-search-forward
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	902 "^[ \t]\\\\document\$style\\\|class\$[ \t]\\[\$[^]]*\$\\]" nil t)
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	903 (YaTeX-split-string (YaTeX-match-string 2) "[ \t],[ \t]"))))
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	904 (concat
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	905 (catch 'found-paper
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	906 (mapcar (lambda (pair)
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	907 (if (YaTeX-member (car pair) opts)
77 1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	908 (throw 'found-paper (cdr pair))))
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	909 YaTeX-paper-type-alist)
1b172d26b55e Fix auto-fill movement on Emacs21. yuuji parents: 73 diff changeset	910 YaTeX-default-paper-type)
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	911 (if (YaTeX-member "landscape" opts) (if YaTeX-dos "L" "r") "")))))
72 0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	912
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	913 (defvar YaTeX-preview-command-history nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	914 "Holds minibuffer history of preview command.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	915 (put 'YaTeX-preview-command-history 'no-default t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	916 (defvar YaTeX-preview-file-history nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	917 "Holds minibuffer history of file to preview.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	918 (put 'YaTeX-preview-file-history 'no-default t)
328 d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	919 (defun YaTeX-preview-default-previewer ()
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	920 "Return default previewer for this document"
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	921 (YaTeX-replace-format
325 2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	922 (or (YaTeX-get-builtin "PREVIEW")
2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	923 (if (eq (get 'dvi2-command 'format) 'pdf)
2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	924 tex-pdfview-command
2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	925 dvi2-command))
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	926 "p" (format (cond
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	927 (YaTeX-dos "-y:%s")
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	928 (t "-paper %s"))
328 d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	929 (YaTeX-get-paper-type))))
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	930 (defun YaTeX-preview-default-main (command)
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	931 "Return default preview target file"
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	932 (if (get 'dvi2-command 'region)
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	933 (substring YaTeX-texput-file
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	934 0 (rindex YaTeX-texput-file ?.))
328 d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	935 (YaTeX-get-preview-file-name command)))
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	936 (defun YaTeX-preview (preview-command preview-file &optional as-default)
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	937 "Execute xdvi (or other) to tex-preview."
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	938 (interactive
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	939 (let* ((previewer (YaTeX-preview-default-previewer))
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	940 (as-default current-prefix-arg)
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	941 (command (if as-default
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	942 previewer
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	943 (read-string-with-history
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	944 "Preview command: "
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	945 previewer
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	946 'YaTeX-preview-command-history)))
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	947 (target (YaTeX-preview-default-main command))
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	948 (file (if as-default
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	949 target
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	950 (read-string-with-history
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	951 "Preview file: "
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	952 target
d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	953 'YaTeX-preview-file-history))))
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	954 (list command file)))
328 d972598d233b Prefix-arg for YaTeX-preview runs default previewer without inquiry HIROSE Yuuji <yuuji@gentei.org> parents: 326 diff changeset	955 (setq dvi2-command preview-command) ;`dvi2-command' is buffer local
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	956 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	957 (YaTeX-visit-main t)
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	958 (if YaTeX-dos (setq preview-file (expand-file-name preview-file)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	959 (let ((pbuffer "dvi-preview") (dir default-directory))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	960 (YaTeX-showup-buffer
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	961 pbuffer 'YaTeX-showup-buffer-bottom-most)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	962 (set-buffer (get-buffer-create pbuffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	963 (erase-buffer)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	964 (setq default-directory dir) ;for 18
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	965 (cd dir) ;for 19
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	966 (cond
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	967 ((not (fboundp 'start-process)) ;if MS-DOS
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	968 (send-string-to-terminal "\e[2J\e[>5h") ;CLS & hide cursor
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	969 (call-process shell-file-name "con" "dvi-preview" nil
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	970 YaTeX-shell-command-option
61 b9f753846b6b Bug fix release yuuji parents: 60 diff changeset	971 (concat preview-command " " preview-file))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	972 (send-string-to-terminal "\e[>5l") ;show cursor
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	973 (redraw-display))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	974 ((and (string-match "dviout" preview-command) ;maybe on `kon'
807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	975 (stringp (getenv "TERM"))
807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	976 (string-match "^kon" (getenv "TERM")))
807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	977 (call-process shell-file-name "con" "dvi-preview" nil
807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	978 YaTeX-shell-command-option
807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	979 (concat preview-command " " preview-file)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	980 (t ;if UNIX
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	981 (set-process-buffer
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	982 (let ((process-connection-type nil))
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	983 (start-process "preview" "dvi-preview" shell-file-name
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	984 YaTeX-shell-command-option
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	985 (concat preview-command " " preview-file)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	986 (get-buffer pbuffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	987 (message
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	988 (concat "Starting " preview-command
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	989 " to preview " preview-file)))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	990
58 3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	991 (defvar YaTeX-xdvi-remote-program "xdvi")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	992 (defun YaTeX-xdvi-remote-search (&optional region-mode)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	993 "Search string at the point on xdvi -remote window.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	994 Non-nil for optional argument REGION-MODE specifies the search string
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	995 by region."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	996 (interactive "P")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	997 (let ((pb " xdvi") str proc)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	998 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	999 (if region-mode
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1000 (setq str (buffer-substring (region-beginning) (region-end)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1001 (setq str (buffer-substring
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1002 (point)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1003 (progn (skip-chars-forward "^\n\\\\}") (point)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1004 (message "Searching `%s'..." str)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1005 (if (boundp 'MULE)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1006 (define-program-coding-system
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1007 (regexp-quote pb) (regexp-quote YaTeX-xdvi-remote-program)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1008 euc-japan))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1009 (setq proc
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1010 (start-process
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1011 "xdvi" pb YaTeX-xdvi-remote-program
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1012 "-remote" (format "SloppySearch(%s) " str)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1013 (concat (YaTeX-get-preview-file-name) ".dvi")))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1014 (message "Searching `%s'...Done" str))))
58 3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape yuuji parents: 57 diff changeset	1015
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1016 (defun YaTeX-preview-jlfmt-xdvi ()
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1017 "Call xdvi -sourceposition to DVI corresponding to current main file"
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1018 (interactive))
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1019
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1020 (defun YaTeX-preview-jump-line ()
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1021 "Call jump-line function of various previewer on current main file"
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1022 (interactive)
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1023 (save-excursion
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1024 (save-restriction
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1025 (widen)
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1026 (let*((pf (or YaTeX-parent-file
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1027 (save-excursion (YaTeX-visit-main t) (buffer-file-name))))
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1028 (pdir (file-name-directory pf))
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1029 (bnr (substring pf 0 (string-match "\\....$" pf)))
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1030 (cf (file-relative-name (buffer-file-name) pdir))
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1031 (buffer (get-buffer-create " preview-jump-line"))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1032 (line (count-lines (point-min) (point-end-of-line)))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1033 (previewer (YaTeX-preview-default-previewer))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1034 (cmd (cond
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1035 ((string-match "xdvi" previewer)
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1036 (format "%s -nofork -sourceposition '%d %s' %s.dvi"
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1037 YaTeX-xdvi-remote-program
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1038 line cf bnr))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1039 ((string-match "Skim" previewer)
352 ecf7b5543e65 Arguments corrected for previewers HIROSE Yuuji <yuuji@gentei.org> parents: 351 diff changeset	1040 (format "%s %d '%s.pdf' '%s'"
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1041 YaTeX-cmd-displayline line bnr cf))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1042 ((string-match "evince" previewer)
352 ecf7b5543e65 Arguments corrected for previewers HIROSE Yuuji <yuuji@gentei.org> parents: 351 diff changeset	1043 (format "%s '%s.pdf' %d '%s'"
ecf7b5543e65 Arguments corrected for previewers HIROSE Yuuji <yuuji@gentei.org> parents: 351 diff changeset	1044 "fwdevince" bnr line cf))
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	1045 ;;
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	1046 ;; These lines below for other PDF viewer is not confirmed
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	1047 ;; yet. If you find correct command line, PLEASE TELL
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	1048 ;; IT TO THE AUTHOR before publishing patch on the web.
b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	1049 ;; ..PLEASE PLEASE PLEASE PLEASE PLEASE PLEASE PLEASE..
369 a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1050 ((string-match "sumatra" previewer) ;;??
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1051 (format "%s \"%s.pdf\" -forward-search \"%s\" %d"
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1052 ;;Send patch to the author, please
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1053 previewer bnr cf line))
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1054 ((string-match "qpdfview" previewer) ;;??
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1055 (format "%s '%s.pdf#src:%s:%d:0'"
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1056 ;;Send patch to the author, please
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1057 previewer bnr cf line))
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1058 ((string-match "okular" previewer) ;;??
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1059 (format "%s '%s.pdf#src:%d' '%s'"
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1060 ;;Send patch to the author, please
a536acc07a75 Re-activate forward-search code. HIROSE Yuuji <yuuji@gentei.org> parents: 367 diff changeset	1061 previewer bnr line cf))
362 b1e6c8c03253 Preparing for 1.78 HIROSE Yuuji <yuuji@gentei.org> parents: 361 diff changeset	1062 )))
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1063 (YaTeX-system cmd "jump-line" 'noask pdir)))))
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1064
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1065 (defun YaTeX-goto-corresponding-viewer ()
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1066 (let ((cmd (or (YaTeX-get-builtin "!") tex-command)))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1067 (if (string-match "-src\\\|synctex=" cmd)
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1068 (progn
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1069 (YaTeX-preview-jump-line)
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1070 t) ;for YaTeX-goto-corresponding-*
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1071 nil)))
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1072
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1073 (defun YaTeX-set-virtual-error-position (file-sym line-sym)
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1074 "Replace the value of FILE-SYM, LINE-SYM by virtual error position."
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1075 (cond
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1076 ((and (get 'dvi2-command 'region)
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1077 (> (symbol-value line-sym) (car (get 'dvi2-command 'offset))))
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1078 (set file-sym (get 'dvi2-command 'file))
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1079 (set line-sym
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1080 (+ (- (apply '- (get 'dvi2-command 'offset)))
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1081 (symbol-value line-sym)
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1082 -1)))))
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1083
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1084 (defun YaTeX-prev-error ()
230 7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1085 "Visit position of previous typeset error or warning.
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1086 To avoid making confliction of line numbers by editing, jump to
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1087 error or warning lines in reverse order."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1088 (interactive)
230 7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1089 (let ((cur-buf (save-excursion (YaTeX-visit-main t) (buffer-name)))
7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1090 (cur-win (selected-window))
7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1091 b0 bound errorp error-line typeset-win error-buffer error-win)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1092 (if (null (get-buffer YaTeX-typeset-buffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1093 (error "There is no typesetting buffer."))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1094 (YaTeX-showup-buffer YaTeX-typeset-buffer nil t)
230 7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1095 (if (and (markerp YaTeX-typeset-marker)
7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1096 (eq (marker-buffer YaTeX-typeset-marker) (current-buffer)))
7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1097 (setq bound YaTeX-typeset-marker))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1098 (setq typeset-win (selected-window))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1099 (if (re-search-backward
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1100 (concat "\$" latex-error-regexp "\$\\\|\\("
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1101 latex-warning-regexp "\\)")
230 7f4a5db88fbb Don't pause at re-run. YaTeX-prev-error supports re-run. yuuji@gentei.org parents: 227 diff changeset	1102 bound t)
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1103 (setq errorp (match-beginning 1))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1104 (select-window cur-win)
68 0eb6997bee16 More adjustment for Emacs20 and XEmacs yuuji parents: 64 diff changeset	1105 (error "No more errors on %s" cur-buf))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1106 (goto-char (setq b0 (match-beginning 0)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1107 (skip-chars-forward "^0-9" (match-end 0))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1108 (setq error-line
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1109 (string-to-int
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1110 (buffer-substring
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1111 (point)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1112 (progn (skip-chars-forward "0-9" (match-end 0)) (point))))
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1113 error-buffer (expand-file-name (YaTeX-get-error-file cur-buf)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1114 (if (or (null error-line) (equal 0 error-line))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1115 (error "Can't detect error position."))
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1116 (YaTeX-set-virtual-error-position 'error-buffer 'error-line)
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1117 (setq error-win (get-buffer-window error-buffer))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1118 (select-window cur-win)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1119 (cond
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1120 (error-win (select-window error-win))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1121 ((eq (get-lru-window) typeset-win)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1122 (YaTeX-switch-to-buffer error-buffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1123 (t (select-window (get-lru-window))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1124 (YaTeX-switch-to-buffer error-buffer)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1125 (setq error-win (selected-window))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1126 (goto-line error-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1127 (message "LaTeX %s in `%s' on line: %d."
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1128 (if errorp "error" "warning")
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1129 error-buffer error-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1130 (select-window typeset-win)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1131 (skip-chars-backward "0-9")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1132 (recenter (/ (window-height) 2))
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1133 (sit-for 1)
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1134 (goto-char b0)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1135 (select-window error-win)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1136
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1137 (defun YaTeX-jump-error-line ()
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1138 "Jump to corresponding line on latex command's error message."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1139 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1140 (let (error-line error-file error-buf)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1141 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1142 (beginning-of-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1143 (setq error-line (re-search-forward "l[ ines]\\.?\$[1-9][0-9]\$"
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1144 (point-end-of-line) t)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1145 (if (null error-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1146 (if (eobp) (insert (this-command-keys))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1147 (error "No line number expression."))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1148 (goto-char (match-beginning 0))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1149 (setq error-line (string-to-int
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1150 (buffer-substring (match-beginning 1) (match-end 1)))
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1151 error-file (expand-file-name
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1152 (YaTeX-get-error-file YaTeX-current-TeX-buffer)))
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1153 (YaTeX-set-virtual-error-position 'error-file 'error-line)
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1154 (setq error-buf (YaTeX-switch-to-buffer error-file t)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1155 (if (null error-buf)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1156 (error "`%s' is not found in this directory." error-file))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1157 (YaTeX-showup-buffer error-buf nil t)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1158 (goto-line error-line)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1159
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1160 (defun YaTeX-send-string ()
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1161 "Send string to current typeset process."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1162 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1163 (if (and (eq (process-status YaTeX-typeset-process) 'run)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1164 (>= (point) (process-mark YaTeX-typeset-process)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1165 (let ((b (process-mark YaTeX-typeset-process))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1166 (e (point-end-of-line)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1167 (goto-char b)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1168 (skip-chars-forward " \t" e)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1169 (setq b (point))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1170 (process-send-string
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1171 YaTeX-typeset-process (concat (buffer-substring b e) "\n"))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1172 (goto-char e)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1173 (insert "\n")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1174 (set-marker (process-mark YaTeX-typeset-process) (point))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1175 (insert " "))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1176 (ding)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1177
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1178 (defun YaTeX-view-error ()
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1179 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1180 (if (null (get-buffer YaTeX-typeset-buffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1181 (message "No typeset buffer found.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1182 (let ((win (selected-window)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1183 (YaTeX-showup-buffer YaTeX-typeset-buffer nil t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1184 ;; Next 3 lines are obsolete because YaTeX-typesetting-buffer is
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1185 ;; automatically scrolled up at typesetting.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1186 ;;(goto-char (point-max))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1187 ;;(forward-line -1)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1188 ;;(recenter -1)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1189 (select-window win))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1190
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1191 (defun YaTeX-get-error-file (default)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1192 "Get current processing file from typesetting log."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1193 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1194 (let(s)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1195 (condition-case () (up-list -1)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1196 (error
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1197 (let ((list 0) found)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1198 (while
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1199 (and (<= list 0) (not found)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1200 (re-search-backward "\$(\$\\\|\$)\$" nil t))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1201 (if (equal (match-beginning 0) (match-beginning 2)) ;close paren.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1202 (setq list (1- list)) ;open paren
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1203 (setq list (1+ list))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1204 (if (= list 1)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1205 (if (looking-at "\$[^,{}%]+\.\$tex\\\|sty")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1206 (setq found t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1207 (setq list (1- list)))))))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1208 (setq s
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1209 (buffer-substring
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1210 (progn (forward-char 1) (point))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1211 (progn (skip-chars-forward "^ \n" (point-end-of-line))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1212 (point))))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1213 (if (string= "" s) default s))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1214
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1215 (defun YaTeX-put-nonstopmode ()
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	1216 (if (and (eq major-mode 'yatex-mode) YaTeX-need-nonstop)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1217 (if (re-search-backward "\\\\nonstopmode{}" (point-min) t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1218 nil ;if already written in text then do nothing
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1219 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1220 (YaTeX-visit-main t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1221 (goto-char (point-min))
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1222 (insert "\\nonstopmode{}%_YaTeX_%\n")
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1223 (if (buffer-file-name) (basic-save-buffer))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1224
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1225 (defun YaTeX-remove-nonstopmode ()
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	1226 (if (and (eq major-mode 'yatex-mode) YaTeX-need-nonstop) ;for speed
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1227 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1228 (YaTeX-visit-main t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1229 (goto-char (point-min))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1230 (forward-line 1)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1231 (narrow-to-region (point-min) (point))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1232 (goto-char (point-min))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1233 (delete-matching-lines "^\\\\nonstopmode\\{\\}%_YaTeX_%$")
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1234 (widen))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1235
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1236 (defvar YaTeX-dvi2-command-ext-alist
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	1237 '(("[agxk]dvi\\\|dviout" . ".dvi")
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1238 ("ghostview\\\|gv" . ".ps")
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	1239 ("acroread\\\|[xk]pdf\\\|pdfopen\\\|Preview\\\|TeXShop\\\|Skim\\\|evince\\\|mupdf\\\|zathura\\\|okular" . ".pdf")))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1240
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	1241 (defun YaTeX-get-preview-file-name (&optional preview-command)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1242 "Get file name to preview by inquiring YaTeX-get-latex-command"
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	1243 (if (null preview-command) (setq preview-command dvi2-command))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1244 (let* ((latex-cmd (YaTeX-get-latex-command t))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1245 (rin (rindex latex-cmd ? ))
172 429d10a0d5b2 YaTeX-typeset-buffer: Change the method of constructing ppcmd. yuuji@gentei.org parents: 171 diff changeset	1246 (fname (if rin (substring latex-cmd (1+ rin)) ""))
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	1247 (r (YaTeX-assoc-regexp preview-command YaTeX-dvi2-command-ext-alist))
172 429d10a0d5b2 YaTeX-typeset-buffer: Change the method of constructing ppcmd. yuuji@gentei.org parents: 171 diff changeset	1248 (ext (if r (cdr r) "")))
325 2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	1249 (and (null r)
2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	1250 (eq (get 'dvi2-command 'format) 'pdf)
2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	1251 (setq ext "pdf"))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1252 (concat
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1253 (if (string= fname "")
172 429d10a0d5b2 YaTeX-typeset-buffer: Change the method of constructing ppcmd. yuuji@gentei.org parents: 171 diff changeset	1254 (setq fname (substring (file-name-nondirectory
429d10a0d5b2 YaTeX-typeset-buffer: Change the method of constructing ppcmd. yuuji@gentei.org parents: 171 diff changeset	1255 (buffer-file-name))
429d10a0d5b2 YaTeX-typeset-buffer: Change the method of constructing ppcmd. yuuji@gentei.org parents: 171 diff changeset	1256 0 -4))
429d10a0d5b2 YaTeX-typeset-buffer: Change the method of constructing ppcmd. yuuji@gentei.org parents: 171 diff changeset	1257 (setq fname (substring fname 0 (rindex fname ?.))))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1258 ext)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1259
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1260 (defun YaTeX-get-latex-command (&optional switch)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1261 "Specify the latex-command name and its argument.
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1262 If there is a line which begins with string: \"%#!\", the following
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1263 strings are assumed to be the latex-command and arguments. The
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1264 default value of latex-command is:
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1265 tex-command FileName
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	1266 and if you write \"%#!platex\" in the beginning of certain line.
ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	1267 \"platex \" FileName
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1268 will be the latex-command,
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	1269 and you write \"%#!platex main.tex\" on some line and argument SWITCH
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1270 is non-nil, then
388 ad62fb00a393 Update command names HIROSE Yuuji <yuuji@gentei.org> parents: 384 diff changeset	1271 \"platex main.tex\"
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1272
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1273 will be given to the shell."
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1274 (let (parent tparent magic)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1275 (setq parent
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1276 (cond
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1277 (YaTeX-parent-file
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1278 (if YaTeX-dos (expand-file-name YaTeX-parent-file)
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1279 YaTeX-parent-file))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1280 (t (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1281 (YaTeX-visit-main t)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1282 (file-name-nondirectory (buffer-file-name)))))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1283 magic (YaTeX-get-builtin "!")
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1284 tparent (file-name-nondirectory parent))
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1285 (YaTeX-replace-formats
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1286 (cond
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1287 (magic
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1288 (cond
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1289 (switch (if (string-match "\\s [^-]\\S *$" magic) magic
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1290 (concat magic " " parent)))
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1291 (t (concat (substring magic 0 (string-match "\\s [^-]\\S *$" magic)) " "))))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1292 (t (concat tex-command " " (if switch parent))))
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1293 (list (cons "f" tparent)
9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1294 (cons "r" (substring tparent 0 (rindex tparent ?.)))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1295
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1296 (defvar YaTeX-lpr-command-history nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1297 "Holds command line history of YaTeX-lpr.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1298 (put 'YaTeX-lpr-command-history 'no-default t)
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	1299 (defvar YaTeX-lpr-ask-page-range-default t)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1300 (defun YaTeX-lpr (arg)
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	1301 "Print out.
0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	1302 If prefix arg ARG is non nil, call print driver without
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1303 page range description."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1304 (interactive "P")
79 0734be649cb8 Do not care file-coding-system when YaTeX-kanji-code is nil. yuuji parents: 77 diff changeset	1305 (or YaTeX-lpr-ask-page-range-default (setq arg (not arg)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1306 (let*((cmd (or (YaTeX-get-builtin "LPR") dviprint-command-format))
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1307 from to (lbuffer "dvi-printing") dir)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1308 (setq
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1309 cmd
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1310 (YaTeX-replace-format
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1311 cmd "f"
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1312 (if (or arg (not (string-match "%f" cmd)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1313 ""
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1314 (YaTeX-replace-format
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1315 dviprint-from-format
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1316 "b"
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1317 (if (string=
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1318 (setq from (read-string "From page(default 1): ")) "")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1319 "1" from))))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1320 )
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1321 (setq
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1322 cmd
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1323 (YaTeX-replace-format
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1324 cmd "t"
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1325 (if (or arg (not (string-match "%t" cmd))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1326 (string=
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1327 (setq to (read-string "To page(default none): ")) ""))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1328 ""
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1329 (YaTeX-replace-format dviprint-to-format "e" to)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1330 )
72 0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	1331 (setq
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	1332 cmd
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	1333 (YaTeX-replace-format
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	1334 cmd "p"
0aaebd07dad0 Support font-lock on XEmacs-21, Emacs-20, Emacs-21. yuuji parents: 70 diff changeset	1335 (cdr (assoc (YaTeX-get-paper-type) YaTeX-dvips-paper-option-alist))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1336 (setq cmd
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1337 (read-string-with-history
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1338 "Edit command line: "
53 5f4b18da14b3 Fix functions relating YaTeX-beginning-of-environment or yuuji parents: 52 diff changeset	1339 (format cmd
5f4b18da14b3 Fix functions relating YaTeX-beginning-of-environment or yuuji parents: 52 diff changeset	1340 (if (get 'dvi2-command 'region)
5f4b18da14b3 Fix functions relating YaTeX-beginning-of-environment or yuuji parents: 52 diff changeset	1341 (substring YaTeX-texput-file
5f4b18da14b3 Fix functions relating YaTeX-beginning-of-environment or yuuji parents: 52 diff changeset	1342 0 (rindex YaTeX-texput-file ?.))
5f4b18da14b3 Fix functions relating YaTeX-beginning-of-environment or yuuji parents: 52 diff changeset	1343 (YaTeX-get-preview-file-name)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1344 'YaTeX-lpr-command-history))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1345 (save-excursion
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1346 (YaTeX-visit-main t) ;;change execution directory
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1347 (setq dir default-directory)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1348 (YaTeX-showup-buffer
354 5465428f5a68 `[prefix] t e' displays typesetting image in the next window, if possible. HIROSE Yuuji <yuuji@gentei.org> parents: 352 diff changeset	1349 lbuffer 'YaTeX-showup-buffer-bottom-most)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1350 (set-buffer (get-buffer-create lbuffer))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1351 (erase-buffer)
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1352 (cd dir) ;for 19
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1353 (cond
64 36a48185b95a Changes are listed in yatex.new. yuuji parents: 61 diff changeset	1354 ((not (fboundp 'start-process))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1355 (call-process shell-file-name "con" "dvi-printing" nil
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1356 YaTeX-shell-command-option cmd))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1357 (t
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1358 (set-process-buffer
86 f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	1359 (let ((process-connection-type nil))
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	1360 (start-process "print" "dvi-printing" shell-file-name
f14ec50103d0 as of 2009/9/28 yuuji@gentei.org parents: 80 diff changeset	1361 YaTeX-shell-command-option cmd))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1362 (get-buffer lbuffer))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1363 (message "Starting printing command: %s..." cmd))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1364
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1365 (defun YaTeX-main-file-p ()
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1366 "Return if current buffer is main LaTeX source."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1367 (cond
52 5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1368 (YaTeX-parent-file
5d94deabb9f9 Set YaTeX-indent-line to 'indent-line-function. yuuji parents: 51 diff changeset	1369 (eq (get-file-buffer YaTeX-parent-file) (current-buffer)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1370 ((YaTeX-get-builtin "!")
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1371 (string-match
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1372 (concat "^" (YaTeX-guess-parent (YaTeX-get-builtin "!")))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1373 (buffer-name)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1374 (t
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1375 (save-excursion
57 18f4939986e6 (j)LaTeX2e supported yuuji parents: 53 diff changeset	1376 (let ((latex-main-id
18f4939986e6 (j)LaTeX2e supported yuuji parents: 53 diff changeset	1377 (concat "^\\s *" YaTeX-ec-regexp "document\$style\\\|class\$")))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1378 (or (re-search-backward latex-main-id nil t)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1379 (re-search-forward latex-main-id nil t)))))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1380
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1381 (defun YaTeX-visit-main (&optional setbuf)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1382 "Switch buffer to main LaTeX source.
122 57d3d9abd661 Search %# built-in value for parent if not found in current buffer. yuuji@gentei.org parents: 88 diff changeset	1383 Use set-buffer instead of switch-to-buffer if the optional argument
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1384 SETBUF is t(Use it only from Emacs-Lisp program)."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1385 (interactive "P")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1386 (if (and (interactive-p) setbuf) (setq YaTeX-parent-file nil))
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1387 (let ((ff (function (lambda (f)
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1388 (if setbuf (set-buffer (find-file-noselect f))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1389 (find-file f)))))
325 2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	1390 b-in main-file mfa YaTeX-create-file-prefix-g
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1391 (hilit-auto-highlight (not setbuf)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1392 (if (setq b-in (YaTeX-get-builtin "!"))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1393 (setq main-file (YaTeX-guess-parent b-in)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1394 (if YaTeX-parent-file
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1395 (setq main-file ;;(get-file-buffer YaTeX-parent-file)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1396 YaTeX-parent-file))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1397 (if (YaTeX-main-file-p)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1398 (if (interactive-p) (message "I think this is main LaTeX source.") nil)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1399 (cond
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1400 ((and ;;(interactive-p)
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1401 main-file
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1402 (cond ((get-file-buffer main-file)
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1403 (cond
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1404 (setbuf (set-buffer (get-file-buffer main-file)))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1405 ((get-buffer-window (get-file-buffer main-file))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1406 (select-window
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1407 (get-buffer-window (get-file-buffer main-file))))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1408 (t (switch-to-buffer (get-file-buffer main-file)))))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1409 ((file-exists-p main-file)
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1410 (funcall ff main-file)))))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1411 ;;((and main-file (YaTeX-switch-to-buffer main-file setbuf)))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1412 ((and main-file
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1413 (file-exists-p (setq main-file (concat "../" main-file)))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1414 (or b-in
325 2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	1415 (y-or-n-p (concat (setq mfa (expand-file-name main-file))
80 9b4354af748c Too many changes from 1.72. yuuji parents: 79 diff changeset	1416 " is main file?:"))))
325 2561570d7194 evince usage; YaTeX-parent-file handling: HIROSE Yuuji <yuuji@gentei.org> parents: 294 diff changeset	1417 (setq YaTeX-parent-file mfa)
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1418 ;(YaTeX-switch-to-buffer main-file setbuf)
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1419 (funcall ff main-file)
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1420 )
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1421 (t (setq main-file (read-file-name "Enter your main text: " nil nil 1))
326 d989511a492a Keep YaTeX-parent-file in absolute-path HIROSE Yuuji <yuuji@gentei.org> parents: 325 diff changeset	1422 (setq YaTeX-parent-file (expand-file-name main-file))
70 44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1423 ; (YaTeX-switch-to-buffer main-file setbuf))
44e3a5e1e883 Fix makefile for Windows yuuji parents: 69 diff changeset	1424 (funcall ff main-file))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1425 )))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1426 nil)
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1427
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1428 (defun YaTeX-guess-parent (command-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1429 (setq command-line
350 91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1430 (if (string-match "\\s \$[^-]\\S *\$$" command-line)
91ba61bb536e [prefix] g calls forward-search of previewers if -src is given to typesetting. HIROSE Yuuji <yuuji@gentei.org> parents: 328 diff changeset	1431 (substring command-line (match-beginning 1))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1432 (file-name-nondirectory (buffer-file-name)))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1433 command-line
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1434 (concat (if (string-match "\$.*\$\\." command-line)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1435 (substring command-line (match-beginning 1) (match-end 1))
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1436 command-line)
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1437 ".tex")))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1438
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1439 (defun YaTeX-visit-main-other-window ()
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1440 "Switch to buffer main LaTeX source in other window."
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1441 (interactive)
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1442 (if (YaTeX-main-file-p) (message "I think this is main LaTeX source.")
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1443 (YaTeX-switch-to-buffer-other-window
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1444 (concat (YaTeX-get-preview-file-name) ".tex"))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1445
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1446 (defun YaTeX-save-buffers ()
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1447 "Save buffers whose major-mode is equal to current major-mode."
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1448 (basic-save-buffer)
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1449 (let ((cmm major-mode))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1450 (save-excursion
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1451 (mapcar (function
0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1452 (lambda (buf)
60 9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1453 (set-buffer buf)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1454 (if (and (buffer-file-name buf)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1455 (eq major-mode cmm)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1456 (buffer-modified-p buf)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p yuuji parents: 59 diff changeset	1457 (y-or-n-p (format "Save %s" (buffer-name buf))))
351 0fc7ea5baa5f YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file. HIROSE Yuuji <yuuji@gentei.org> parents: 350 diff changeset	1458 (save-buffer buf))))
69 807c1e7e68b7 yahtml-escape-chars-region yuuji parents: 68 diff changeset	1459 (buffer-list)))))
51 b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1460
b0371b6ed799 Created `ChangeLog'. yuuji parents: 49 diff changeset	1461 (provide 'yatexprc)

Mercurial > hgrepos > hgweb.cgi > yatex

annotate yatexprc.el @ 395:5aa8208fbef0 dev