Mercurial > hgrepos > hgweb.cgi > yatex
annotate yatexprc.el @ 592:86ceef677ca2 draft
Support synctex for evince (thanks to TeX Wiki)
author | HIROSE Yuuji <yuuji@gentei.org> |
---|---|
date | Sat, 24 Sep 2022 12:25:21 +0900 |
parents | 4dad5f91b26c |
children | 0a96c5fef8f1 |
rev | line source |
---|---|
395 | 1 ;;; yatexprc.el --- YaTeX process handler -*- coding: sjis -*- |
287 | 2 ;;; |
592
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
3 ;;; (c)1993-2022 by HIROSE Yuuji.[yuuji@yatex.org] |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
4 ;;; Last modified Sat Sep 24 12:17:14 2022 on firestorm |
366 | 5 ;;; $Id$ |
51 | 6 |
287 | 7 ;;; Code: |
64 | 8 ;(require 'yatex) |
9 (require 'yatexlib) | |
51 | 10 |
11 (defvar YaTeX-typeset-process nil | |
388 | 12 "Process identifier for latex") |
69 | 13 |
51 | 14 (defvar YaTeX-typeset-buffer "*YaTeX-typesetting*" |
388 | 15 "Process buffer for latex") |
51 | 16 |
17 (defvar YaTeX-typeset-buffer-syntax nil | |
18 "*Syntax table for typesetting buffer") | |
19 | |
20 (defvar YaTeX-current-TeX-buffer nil | |
21 "Keeps the buffer on which recently typeset run.") | |
22 | |
23 (defvar YaTeX-shell-command-option | |
24 (or (and (boundp 'shell-command-option) shell-command-option) | |
68 | 25 (and (boundp 'shell-command-switch) shell-command-switch) |
51 | 26 (if YaTeX-dos "/c" "-c")) |
27 "Shell option for command execution.") | |
28 | |
64 | 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 | 39 (cond |
80 | 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 | 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 | 48 "Process coding system for LaTeX.") |
49 | |
51 | 50 (if YaTeX-typeset-buffer-syntax nil |
51 (setq YaTeX-typeset-buffer-syntax | |
52 (make-syntax-table (standard-syntax-table))) | |
53 (modify-syntax-entry ?\{ "w" YaTeX-typeset-buffer-syntax) | |
54 (modify-syntax-entry ?\} "w" YaTeX-typeset-buffer-syntax) | |
55 (modify-syntax-entry ?\[ "w" YaTeX-typeset-buffer-syntax) | |
69 | 56 (modify-syntax-entry ?\] "w" YaTeX-typeset-buffer-syntax)) |
51 | 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 | 61 (defun YaTeX-typeset (command buffer &optional prcname modename ppcmd) |
388 | 62 "Execute latex command (or other) to LaTeX typeset." |
51 | 63 (interactive) |
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 | 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 | 68 (outcode |
69 (cond ((eq major-mode 'yatex-mode) YaTeX-coding-system) | |
69 | 70 ((eq major-mode 'yahtml-mode) yahtml-kanji-code)))) |
51 | 71 (if (and YaTeX-typeset-process |
72 (eq (process-status YaTeX-typeset-process) 'run)) | |
73 ;; if tex command is halting. | |
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 | 79 (setq execdir default-directory) |
80 ;;Select lower-most window if there are more than 2 windows and | |
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 | 86 (set-buffer (get-buffer-create buffer)) |
87 (setq default-directory execdir) | |
88 (cd execdir) | |
213 | 89 (erase-buffer) |
51 | 90 (cond |
64 | 91 ((not (fboundp 'start-process)) ;YaTeX-dos;if MS-DOS |
51 | 92 (call-process |
64 | 93 shell-file-name nil buffer nil YaTeX-shell-command-option command)) |
51 | 94 (t ;if UNIX |
95 (set-process-buffer | |
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 | 98 YaTeX-shell-command-option command)) |
99 (get-buffer buffer)) | |
123 | 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 | 107 (let ((ppprop (get 'YaTeX-typeset-process 'ppcmd))) |
108 (setq ppprop (delq (assq YaTeX-typeset-process ppprop) ppprop)) | |
109 (if ppcmd | |
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))))) |
527
af4601ee3c6a
Format() function don't need message()
HIROSE Yuuji <yuuji@gentei.org>
parents:
526
diff
changeset
|
118 (message "Calling `%s'..." command) |
51 | 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 | 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 | 124 (cond ((fboundp 'set-current-process-coding-system) |
51 | 125 (set-current-process-coding-system |
64 | 126 YaTeX-latex-message-code outcode)) |
127 ((fboundp 'set-process-coding-system) | |
128 (set-process-coding-system | |
129 YaTeX-typeset-process YaTeX-latex-message-code outcode)) | |
130 (YaTeX-emacs-20 | |
131 (set-buffer-process-coding-system | |
132 YaTeX-latex-message-code outcode)) | |
51 | 133 ((boundp 'NEMACS) |
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 | 141 (insert " ") |
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 | 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 | 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 | 160 (YaTeX-remove-nonstopmode)))) |
51 | 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 \`") |
576
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
171 (defvar YaTeX-typeset-remove-dvi-when-pdf t |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
172 "*Non-nil means removing dvi file which has same rootname as PDF output") |
51 | 173 (defun YaTeX-typeset-sentinel (proc mes) |
174 (cond ((null (buffer-name (process-buffer proc))) | |
175 ;; buffer killed | |
176 (set-process-buffer proc nil)) | |
177 ((memq (process-status proc) '(signal exit)) | |
178 (let* ((obuf (current-buffer)) (pbuf (process-buffer proc)) | |
179 (pwin (get-buffer-window pbuf)) | |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
180 (owin (selected-window)) win |
261
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
181 tobecalled shortname |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
182 (thiscmd (get 'YaTeX-typeset-process 'thiscmd)) |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
183 (ppprop (get 'YaTeX-typeset-process 'ppcmd)) |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
184 (ppcmd (cdr (assq proc ppprop))) |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
185 (bcprop (get 'YaTeX-typeset-process 'bibcmd)) |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
186 (bibcmd (cdr (assq proc bcprop)))) |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
187 (put 'YaTeX-typeset-process 'ppcmd ;erase ppcmd |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
188 (delq (assq proc ppprop) ppprop)) |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
189 (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
|
190 (delq (assq proc bcprop) bcprop)) |
51 | 191 ;; save-excursion isn't the right thing if |
192 ;; process-buffer is current-buffer | |
193 (unwind-protect | |
194 (progn | |
195 ;; Write something in *typesetting* and hack its mode line | |
196 (if pwin | |
197 (select-window pwin) | |
198 (set-buffer pbuf)) | |
199 ;;(YaTeX-showup-buffer pbuf nil t) | |
200 (goto-char (point-max)) | |
201 (if pwin (recenter -3)) | |
60
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
202 (insert ?\n mode-name " " mes) |
51 | 203 (forward-char -1) |
262
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
204 (insert |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
205 (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
|
206 (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
|
207 (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
|
208 (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
|
209 (format |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
210 " (%.2f secs)" |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
211 (YaTeX-elapsed-time |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
212 (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
|
213 (current-time)))))) |
51 | 214 (setq mode-line-process |
215 (concat ": " | |
216 (symbol-name (process-status proc)))) | |
256
b1e70dc23208
Clarify messages for typesetting process.
HIROSE Yuuji <yuuji@gentei.org>
parents:
230
diff
changeset
|
217 (message "%s %s" mode-name |
51 | 218 (if (eq (process-status proc) 'exit) |
219 "done" "ceased")) | |
220 ;; If buffer and mode line shows that the process | |
221 ;; is dead, we can delete it now. Otherwise it | |
222 ;; will stay around until M-x list-processes. | |
223 (delete-process proc) | |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
224 (if (cond |
263
808f532d68d3
Inhibit auto-rerun of bibtex when using latexmk.
HIROSE Yuuji <yuuji@gentei.org>
parents:
262
diff
changeset
|
225 ((or (not YaTeX-typeset-auto-rerun) |
808f532d68d3
Inhibit auto-rerun of bibtex when using latexmk.
HIROSE Yuuji <yuuji@gentei.org>
parents:
262
diff
changeset
|
226 (string-match "latexmk" thiscmd)) |
808f532d68d3
Inhibit auto-rerun of bibtex when using latexmk.
HIROSE Yuuji <yuuji@gentei.org>
parents:
262
diff
changeset
|
227 nil) |
262
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
228 ((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
|
229 (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
|
230 (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
|
231 ; 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
|
232 (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
|
233 (re-search-backward |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
234 YaTeX-typeset-citation-msg |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
235 YaTeX-typeset-marker t)) |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
236 (save-excursion ; && using .bbl files. |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
237 (search-backward |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
238 ".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
|
239 ;; 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
|
240 ;; 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
|
241 ;; (Suggested by ryseto. 2012) |
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
242 ;; 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
|
243 ;; 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
|
244 ;; 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
|
245 (insert "\n" YaTeX-typeset-rerun-msg "\n") |
261
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
246 (setq tobecalled bibcmd shortname "+bibtex")) |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
247 ((or |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
248 (save-excursion |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
249 (search-backward |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
250 YaTeX-typeset-rerun-msg YaTeX-typeset-marker t)) |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
251 (save-excursion |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
252 (re-search-backward |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
253 "natbib.*Rerun to get citations correct" |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
254 YaTeX-typeset-marker t))) |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
255 (if bibcmd |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
256 (put 'YaTeX-typeset-process 'bibcmd |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
257 (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
|
258 bcprop))) |
261
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
259 (setq tobecalled thiscmd shortname "+typeset")) |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
260 (t |
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
261 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
|
262 (progn ;;Something occurs to call next command |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
263 (insert |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
264 (format |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
265 "===!!! %s !!!===\n" |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
266 (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
|
267 tobecalled))) |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
268 (if (equal tobecalled thiscmd) |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
269 (set-marker YaTeX-typeset-marker (point))) |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
270 (set-process-sentinel |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
271 (start-process |
261
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
272 (setq mode-name (concat mode-name shortname)) |
256
b1e70dc23208
Clarify messages for typesetting process.
HIROSE Yuuji <yuuji@gentei.org>
parents:
230
diff
changeset
|
273 pbuf |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
274 shell-file-name YaTeX-shell-command-option tobecalled) |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
275 'YaTeX-typeset-sentinel) |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
276 (if ppcmd |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
277 (put 'YaTeX-typeset-process 'ppcmd |
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
278 (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
|
279 ppprop))) |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
280 (if thiscmd |
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
281 (put 'YaTeX-typeset-process 'thiscmd thiscmd))) |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
282 ;; If ppcmd is active, call it. |
123 | 283 (cond |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
284 ((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
|
285 ;; 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
|
286 ;; 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
|
287 (funcall ppcmd)) |
123 | 288 ((and ppcmd (string-match "finish" mes)) |
289 (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
|
290 (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
|
291 (concat |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
292 mode-name "+" |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
293 (substring ppcmd 0 (string-match " " ppcmd)))) |
212
c63a4ec6a492
Rerun typesetter when cross-reference warning seen.
yuuji@gentei.org
parents:
195
diff
changeset
|
294 ; 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
|
295 (set-process-sentinel |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
296 (start-process |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
297 mode-name |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
298 pbuf ; Use this buffer twice. |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
299 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
|
300 ppcmd) |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
301 '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
|
302 (t |
81413ee9c32d
Use overlay to distinguish border of on-the-fly preview area.
HIROSE Yuuji <yuuji@gentei.org>
parents:
376
diff
changeset
|
303 (if (equal 0 (process-exit-status proc)) |
408
2857cac50a67
When PDF output seems to occur in typesetter, use pdf-viewer in [prefix] t p.
HIROSE Yuuji <yuuji@gentei.org>
parents:
406
diff
changeset
|
304 ;; Successful typesetting done |
2857cac50a67
When PDF output seems to occur in typesetter, use pdf-viewer in [prefix] t p.
HIROSE Yuuji <yuuji@gentei.org>
parents:
406
diff
changeset
|
305 (if (save-excursion |
2857cac50a67
When PDF output seems to occur in typesetter, use pdf-viewer in [prefix] t p.
HIROSE Yuuji <yuuji@gentei.org>
parents:
406
diff
changeset
|
306 (re-search-backward |
2857cac50a67
When PDF output seems to occur in typesetter, use pdf-viewer in [prefix] t p.
HIROSE Yuuji <yuuji@gentei.org>
parents:
406
diff
changeset
|
307 (concat |
576
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
308 "^Output written on \\(.*\\.pdf\\) (.*page," |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
309 "\\|.* -> \\(.*\\.pdf\\)$") |
408
2857cac50a67
When PDF output seems to occur in typesetter, use pdf-viewer in [prefix] t p.
HIROSE Yuuji <yuuji@gentei.org>
parents:
406
diff
changeset
|
310 nil t)) |
576
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
311 (let*((pdf (or (YaTeX-match-string 1) |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
312 (YaTeX-match-string 2))) |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
313 (rootname (substring |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
314 pdf 0 (rindex pdf ?.))) |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
315 (dvi (format "%s.dvi" rootname)) |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
316 (log (format "%s.log" rootname))) |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
317 ;; If PDF output log found in buffer, |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
318 ;; set next default previewer to 'pdf viewer |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
319 (put 'dvi2-command 'format 'pdf) |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
320 (if YaTeX-typeset-remove-dvi-when-pdf |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
321 (progn |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
322 (delete-file log) ;Ugly, should not do here |
70bb775b481c
Trial of removing .log/.dvi file when PDF successfully generated
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
323 (delete-file dvi))))) |
378
9452537530ac
Process exit status handler fixed
HIROSE Yuuji <yuuji@gentei.org>
parents:
377
diff
changeset
|
324 ;;Confirm process buffer to be shown when error |
9452537530ac
Process exit status handler fixed
HIROSE Yuuji <yuuji@gentei.org>
parents:
377
diff
changeset
|
325 (YaTeX-showup-buffer |
9452537530ac
Process exit status handler fixed
HIROSE Yuuji <yuuji@gentei.org>
parents:
377
diff
changeset
|
326 pbuf 'YaTeX-showup-buffer-bottom-most) |
9452537530ac
Process exit status handler fixed
HIROSE Yuuji <yuuji@gentei.org>
parents:
377
diff
changeset
|
327 (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
|
328 ;;pull back original mode-name |
261
8c555014f933
Auto-rerun supports natbib.
HIROSE Yuuji <yuuji@gentei.org>
parents:
260
diff
changeset
|
329 (setq mode-name "typeset")))) |
123 | 330 (forward-char 1)) |
331 (setq YaTeX-typeset-process nil) | |
51 | 332 ;; Force mode line redisplay soon |
333 (set-buffer-modified-p (buffer-modified-p)) | |
334 ) | |
335 (select-window owin) | |
69 | 336 (set-buffer obuf))))) |
51 | 337 |
338 (defvar YaTeX-texput-file "texput.tex" | |
69 | 339 "*File name for temporary file of typeset-region.") |
51 | 340 |
354
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
341 (defun YaTeX-typeset-region (&optional pp) |
52 | 342 "Paste the region to the file `texput.tex' and execute typesetter. |
343 The region is specified by the rule: | |
51 | 344 (1)If keyword `%#BEGIN' is found in the upper direction from (point). |
345 (1-1)if the keyword `%#END' is found after `%#BEGIN', | |
346 ->Assume the text between `%#BEGIN' and `%#END' as region. | |
347 (1-2)if the keyword `%#END' is not found anywhere after `%#BEGIN', | |
348 ->Assume the text after `%#BEGIN' as region. | |
349 (2)If no `%#BEGIN' usage is found before the (point), | |
350 ->Assume the text between current (point) and (mark) as region. | |
351 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
|
352 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
|
353 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
|
354 called with one argument of current file name whitout extension." |
51 | 355 (interactive) |
356 (save-excursion | |
357 (let* | |
358 ((end "") typeout ;Type out message that tells the method of cutting. | |
359 (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
|
360 (texputroot (substring texput 0 (string-match "\\.tex$" texput))) |
51 | 361 (cmd (concat (YaTeX-get-latex-command nil) " " texput)) |
362 (buffer (current-buffer)) opoint preamble (subpreamble "") main | |
363 (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
|
364 ppcmd |
52 | 365 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
|
366 (setq ppcmd (if (stringp pp) (concat pp " " texputroot) pp)) |
51 | 367 (save-excursion |
517
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
368 (if (re-search-backward "%#BEGIN\\s *$" nil t) |
51 | 369 (progn |
370 (setq typeout "--- Region from BEGIN to " | |
371 end "the end of the buffer ---" | |
372 reg-begin (match-end 0)) | |
373 (if (search-forward "%#END" nil t) | |
374 (setq reg-end (match-beginning 0) | |
375 end "END ---") | |
376 (setq reg-end (point-max)))) | |
52 | 377 (setq typeout "=== Region from (point) to (mark) ===" |
378 reg-begin (point) reg-end (mark))) | |
379 (goto-char (min reg-begin reg-end)) | |
380 (setq lineinfo (count-lines (point-min) (point-end-of-line))) | |
51 | 381 (goto-char (point-min)) |
382 (while (search-forward "%#REQUIRE" nil t) | |
383 (setq subpreamble | |
384 (concat subpreamble | |
385 (cond | |
386 ((eolp) | |
387 (buffer-substring | |
388 (match-beginning 0) | |
389 (point-beginning-of-line))) | |
390 (t (buffer-substring | |
391 (match-end 0) | |
392 (point-end-of-line)))) | |
393 "\n")) | |
394 (goto-char (match-end 0)))) | |
395 (YaTeX-visit-main t) | |
396 (setq main (current-buffer)) | |
397 (setq opoint (point)) | |
398 (goto-char (point-min)) | |
399 (setq | |
400 preamble | |
401 (if (re-search-forward "^[ ]*\\\\begin.*{document}" nil t) | |
402 (buffer-substring (point-min) (match-end 0)) | |
73 | 403 (concat |
404 (if YaTeX-use-LaTeX2e "\\documentclass{" "\\documentstyle{") | |
405 YaTeX-default-document-style "}\n" | |
406 "\\begin{document}"))) | |
51 | 407 (goto-char opoint) |
408 ;;(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
|
409 (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
|
410 (magic-mode-alist nil)) ;Do not activate yatex-mode here |
52 | 411 (set-buffer (find-file-noselect texput))) |
51 | 412 ;;(find-file YaTeX-texput-file) |
413 (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
|
414 (YaTeX-set-file-coding-system YaTeX-kanji-code YaTeX-coding-system) |
64 | 415 (if (and (eq major-mode 'yatex-mode) YaTeX-need-nonstop) |
51 | 416 (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
|
417 (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
|
418 "\\pagestyle{empty}\n\\thispagestyle{empty}\n") |
52 | 419 (setq lineinfo (list (count-lines 1 (point-end-of-line)) lineinfo)) |
51 | 420 (insert-buffer-substring buffer reg-begin reg-end) |
421 (insert "\\typeout{" typeout end "}\n") ;Notice the selected method. | |
422 (insert "\n\\end{document}\n") | |
423 (basic-save-buffer) | |
424 (kill-buffer (current-buffer)) | |
425 (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
|
426 (YaTeX-typeset cmd YaTeX-typeset-buffer nil nil ppcmd) |
51 | 427 (switch-to-buffer buffer) ;for Emacs-19 |
52 | 428 (put 'dvi2-command 'region t) |
429 (put 'dvi2-command 'file buffer) | |
69 | 430 (put 'dvi2-command 'offset lineinfo)))) |
51 | 431 |
381
fc1ad3b337a9
Platform dependent default parameters adjusted
HIROSE Yuuji <yuuji@gentei.org>
parents:
380
diff
changeset
|
432 (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
|
433 "*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
|
434 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
|
435 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
|
436 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
|
437 for conversion.") |
355
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
438 (defvar YaTeX-preview-image-mode-map nil |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
439 "Keymap used in YaTeX-preview-image-mode") |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
440 (defun YaTeX-preview-image-mode () |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
441 (interactive) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
442 (if YaTeX-preview-image-mode-map |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
443 nil |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
444 (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
|
445 (define-key map "q" (lambda()(interactive) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
446 (kill-buffer) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
447 (select-window |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
448 (or (get 'YaTeX-typeset-process 'win) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
449 (selected-window))))) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
450 (define-key map "j" (lambda()(interactive) (scroll-up 1))) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
451 (define-key map "k" (lambda()(interactive) (scroll-up -1))))) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
452 (use-local-map YaTeX-preview-image-mode-map)) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
453 |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
454 (defvar YaTeX-typeset-pdf2image-chain |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
455 (cond |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
456 ((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
|
457 (list |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
458 "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
|
459 (if (YaTeX-executable-find "convert") |
526
8eb15c0f9627
Preview image generation modified
HIROSE Yuuji <yuuji@gentei.org>
parents:
520
diff
changeset
|
460 "convert -alpha off -density %d tmp.pdf %b.%f" |
381
fc1ad3b337a9
Platform dependent default parameters adjusted
HIROSE Yuuji <yuuji@gentei.org>
parents:
380
diff
changeset
|
461 ;; If we use sips, specify jpeg as format |
fc1ad3b337a9
Platform dependent default parameters adjusted
HIROSE Yuuji <yuuji@gentei.org>
parents:
380
diff
changeset
|
462 "sips -s format jpeg -s dpiWidth %d -s dpiHeight %d %b.pdf --out %b.jpg") |
513
ebed0ead1eab
Add a command line using convert to pdf2png setting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
511
diff
changeset
|
463 "rm -f tmp.pdf")) |
ebed0ead1eab
Add a command line using convert to pdf2png setting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
511
diff
changeset
|
464 ((YaTeX-executable-find "convert") |
526
8eb15c0f9627
Preview image generation modified
HIROSE Yuuji <yuuji@gentei.org>
parents:
520
diff
changeset
|
465 (list "convert -trim -alpha off -density %d %b.pdf %b.%f")) |
513
ebed0ead1eab
Add a command line using convert to pdf2png setting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
511
diff
changeset
|
466 ) |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
467 "*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
|
468 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
|
469 |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
470 (defvar YaTeX-typeset-dvi2image-chain |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
471 (cond |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
472 ((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
|
473 (list |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
474 (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
|
475 "convert -alpha off -density %d %b.eps %b.%f")) |
526
8eb15c0f9627
Preview image generation modified
HIROSE Yuuji <yuuji@gentei.org>
parents:
520
diff
changeset
|
476 ((YaTeX-executable-find YaTeX-dvipdf-command) |
8eb15c0f9627
Preview image generation modified
HIROSE Yuuji <yuuji@gentei.org>
parents:
520
diff
changeset
|
477 (list |
8eb15c0f9627
Preview image generation modified
HIROSE Yuuji <yuuji@gentei.org>
parents:
520
diff
changeset
|
478 (format "%s %%b.dvi" YaTeX-dvipdf-command) |
8eb15c0f9627
Preview image generation modified
HIROSE Yuuji <yuuji@gentei.org>
parents:
520
diff
changeset
|
479 "convert -trim -alpha off -density %d %b.pdf %b.%f")) |
381
fc1ad3b337a9
Platform dependent default parameters adjusted
HIROSE Yuuji <yuuji@gentei.org>
parents:
380
diff
changeset
|
480 ((and (equal YaTeX-use-image-preview "png") |
fc1ad3b337a9
Platform dependent default parameters adjusted
HIROSE Yuuji <yuuji@gentei.org>
parents:
380
diff
changeset
|
481 (YaTeX-executable-find "dvipng")) |
fc1ad3b337a9
Platform dependent default parameters adjusted
HIROSE Yuuji <yuuji@gentei.org>
parents:
380
diff
changeset
|
482 (list "dvipng %b.dvi"))) |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
483 "*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
|
484 %-notation rewritten list: |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
485 %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
|
486 %f Output format(\"png\") |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
487 %d DPI |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
488 ") |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
489 |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
490 (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
|
491 (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
|
492 (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
|
493 "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
|
494 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
|
495 YaTeX-typeset-dvi2image-chain.") |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
496 |
517
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
497 (defun YaTeX-popup-image (imagesrc buffer &optional func) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
498 (let ((sw (selected-window)) image |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
499 (data-p (and (> (length imagesrc) 128) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
500 (not (file-readable-p imagesrc))))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
501 (save-excursion |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
502 (cond |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
503 ((featurep 'image) window-system |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
504 (YaTeX-showup-buffer ;showup and select |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
505 (get-buffer-create buffer) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
506 (or func 'YaTeX-showup-buffer-bottom-most) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
507 t) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
508 (remove-images (point-min) (point-max)) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
509 (erase-buffer) |
520
52175326855d
Avoid neglection of image re-generation by 'insert-image-file
HIROSE Yuuji <yuuji@gentei.org>
parents:
519
diff
changeset
|
510 (if data-p |
52175326855d
Avoid neglection of image re-generation by 'insert-image-file
HIROSE Yuuji <yuuji@gentei.org>
parents:
519
diff
changeset
|
511 (insert-image |
52175326855d
Avoid neglection of image re-generation by 'insert-image-file
HIROSE Yuuji <yuuji@gentei.org>
parents:
519
diff
changeset
|
512 (setq image (create-image imagesrc nil data-p))) |
52175326855d
Avoid neglection of image re-generation by 'insert-image-file
HIROSE Yuuji <yuuji@gentei.org>
parents:
519
diff
changeset
|
513 ;; create-image does not re-create img-object for the same file |
52175326855d
Avoid neglection of image re-generation by 'insert-image-file
HIROSE Yuuji <yuuji@gentei.org>
parents:
519
diff
changeset
|
514 (insert-image-file (expand-file-name imagesrc)) |
52175326855d
Avoid neglection of image re-generation by 'insert-image-file
HIROSE Yuuji <yuuji@gentei.org>
parents:
519
diff
changeset
|
515 (setq image (plist-get (text-properties-at (point)) 'intangible))) |
517
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
516 (YaTeX-preview-image-mode) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
517 (let ((height (1+ (cdr (image-size image))))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
518 (enlarge-window |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
519 (- (ceiling (min height (/ (frame-height) 2))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
520 (window-height)))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
521 (select-window sw)) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
522 (t ;; Without direct image, display image with image viewer |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
523 (YaTeX-system |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
524 (format "%s %s" YaTeX-cmd-view-images target) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
525 "YaTeX-region-image" |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
526 'noask))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
527 ))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
528 |
354
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
529 (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
|
530 (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
|
531 (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
|
532 (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
|
533 (texput "texput") |
1bbd0c2b340f
When on-the-fly preview activated, overlay indicate its busy state.
HIROSE Yuuji <yuuji@gentei.org>
parents:
375
diff
changeset
|
534 (format YaTeX-use-image-preview) |
374
9b3093c0c181
conv2image format set to jpg for testing
HIROSE Yuuji <yuuji@gentei.org>
parents:
373
diff
changeset
|
535 (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
|
536 (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
|
537 (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
|
538 (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
|
539 (if (file-newer-than-file-p |
9b3093c0c181
conv2image format set to jpg for testing
HIROSE Yuuji <yuuji@gentei.org>
parents:
373
diff
changeset
|
540 (concat texput ".pdf") |
9b3093c0c181
conv2image format set to jpg for testing
HIROSE Yuuji <yuuji@gentei.org>
parents:
373
diff
changeset
|
541 (concat texput ".dvi")) |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
542 'pdf 'dvi))) |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
543 (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
|
544 ;; 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
|
545 ;; 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
|
546 ;; 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
|
547 ;; 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
|
548 ;; 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
|
549 ;; 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
|
550 ;; 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
|
551 (curproc (member prevname chain)) |
355
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
552 (w (get 'YaTeX-typeset-conv2image-chain 'win)) |
6c67a826f266
Hide temporary typesetting buffer
HIROSE Yuuji <yuuji@gentei.org>
parents:
354
diff
changeset
|
553 (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
|
554 img) |
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
555 (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
|
556 (progn |
362 | 557 (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
|
558 (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
|
559 (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
|
560 (setq command |
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
561 (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
|
562 (if command |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
563 (let ((cmdline (YaTeX-replace-formats |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
564 command |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
565 (list (cons "b" "texput") |
374
9b3093c0c181
conv2image format set to jpg for testing
HIROSE Yuuji <yuuji@gentei.org>
parents:
373
diff
changeset
|
566 (cons "f" format) |
391
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
567 (cons "d" dpi))))) |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
568 (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
|
569 (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
|
570 (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
|
571 (start-process |
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
572 command |
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
573 (current-buffer) |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
574 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
|
575 cmdline)) |
354
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
576 '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
|
577 (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
|
578 (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
|
579 '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
|
580 (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
|
581 ;; After all chain executed, display image in current window |
517
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
582 (YaTeX-popup-image target " *YaTeX-popup-image*") |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
583 (put 'YaTeX-typeset-conv2image-chain 'elapse |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
584 (YaTeX-elapsed-time |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
585 (get 'YaTeX-typeset-conv2image-chain 'start) (current-time))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
586 )))) |
354
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
587 |
375
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
588 |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
589 (defvar YaTeX-typeset-environment-timer nil) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
590 (defun YaTeX-typeset-environment-timer () |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
591 "Update preview image in the |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
592 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
|
593 (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
|
594 (b (nth 0 plist)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
595 (s (nth 1 plist)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
596 (e (nth 2 plist)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
597 (p (nth 3 plist)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
598 (q (nth 4 plist)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
599 (st (nth 5 plist)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
600 (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
|
601 (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
|
602 (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
|
603 (cond |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
604 ;; In minibuffer, do nothing |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
605 ((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
|
606 ;; 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
|
607 ;;;((and (message "s=%d, e=%d, p=%d" s e (point)) nil)) |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
608 ((null (buffer-file-name)) nil) ;;At momentary-string-display, it's nil. |
375
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
609 ((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
|
610 (< (point) s) |
377
81413ee9c32d
Use overlay to distinguish border of on-the-fly preview area.
HIROSE Yuuji <yuuji@gentei.org>
parents:
376
diff
changeset
|
611 (not (overlayp overlay)) |
81413ee9c32d
Use overlay to distinguish border of on-the-fly preview area.
HIROSE Yuuji <yuuji@gentei.org>
parents:
376
diff
changeset
|
612 (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
|
613 (> (point) (overlay-end overlay))) |
375
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
614 (YaTeX-typeset-environment-cancel-auto)) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
615 ;;;((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
|
616 ;; 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
|
617 ;;; ((< (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
|
618 ;; 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
|
619 ((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
|
620 (YaTeX-typeset-environment))))) |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
621 |
391
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
622 |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
623 (defun YaTeX-typeset-environment-by-lmp () |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
624 (save-excursion |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
625 (let ((sw (selected-window))) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
626 (goto-char opoint) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
627 (latex-math-preview-expression) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
628 (select-window sw)))) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
629 |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
630 (defun YaTeX-typeset-environment-by-builtin () |
130
8703f090c628
`[prefix] t e' for YaTeX-typeset-environment.
yuuji@gentei.org
parents:
125
diff
changeset
|
631 (save-excursion |
391
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
632 (YaTeX-typeset-region 'YaTeX-typeset-conv2image-chain))) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
633 |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
634 (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
|
635 (if (fboundp 'latex-math-preview-expression) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
636 'YaTeX-typeset-environment-by-lmp |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
637 'YaTeX-typeset-environment-by-builtin) |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
638 "Function symbol to use math-preview. |
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
639 '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
|
640 '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
|
641 |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
642 (defun YaTeX-typeset-environment-1 () |
431 | 643 (require 'yatex23) |
391
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
644 (let*((math (YaTeX-in-math-mode-p)) |
406
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
645 (dpi (or (YaTeX-get-builtin "IMAGEDPI") (if math "300" "200"))) |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
646 (opoint (point)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
647 usetimer) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
648 (cond |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
649 ((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
|
650 (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
|
651 ;; 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
|
652 ;; use that region again |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
653 (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
|
654 (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
|
655 (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
|
656 ((YaTeX-region-active-p) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
657 nil) ;if region is active, use it |
519
a6a80e2b6f5a
Nil for YaTeX-on-the-fly-preview-interval should work here.
HIROSE Yuuji <yuuji@gentei.org>
parents:
517
diff
changeset
|
658 (math (setq usetimer YaTeX-on-the-fly-preview-interval) |
a6a80e2b6f5a
Nil for YaTeX-on-the-fly-preview-interval should work here.
HIROSE Yuuji <yuuji@gentei.org>
parents:
517
diff
changeset
|
659 (YaTeX-mark-environment)) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
660 ((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
|
661 (mark-paragraph)) |
519
a6a80e2b6f5a
Nil for YaTeX-on-the-fly-preview-interval should work here.
HIROSE Yuuji <yuuji@gentei.org>
parents:
517
diff
changeset
|
662 (t (setq usetimer YaTeX-on-the-fly-preview-interval) |
a6a80e2b6f5a
Nil for YaTeX-on-the-fly-preview-interval should work here.
HIROSE Yuuji <yuuji@gentei.org>
parents:
517
diff
changeset
|
663 (YaTeX-mark-environment))) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
664 (if YaTeX-use-image-preview |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
665 (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
|
666 (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
|
667 (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
|
668 (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
|
669 (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
|
670 (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
|
671 (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
|
672 (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
|
673 (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
|
674 (char-after (- (point) 2)) |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
675 (YaTeX-buffer-substring b e) |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
676 (current-time))) |
391
e834bbfce2ab
Use latex-math-preview if available. %#PREVIEWDPI
HIROSE Yuuji <yuuji@gentei.org>
parents:
388
diff
changeset
|
677 (if math (funcall YaTeX-on-the-fly-math-preview-engine) |
354
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
678 (YaTeX-typeset-region 'YaTeX-typeset-conv2image-chain)) |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
679 (if usetimer (YaTeX-typeset-environment-auto b e))) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
680 (YaTeX-typeset-region)))) |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
681 |
517
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
682 (defun YaTeX-filter-BEGEND () |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
683 (let ((begend-info (YaTeX-in-BEGEND-p))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
684 (if begend-info |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
685 (progn |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
686 (require 'yatexflt) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
687 (YaTeX-filter-pass-to-filter begend-info) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
688 )))) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
689 |
130
8703f090c628
`[prefix] t e' for YaTeX-typeset-environment.
yuuji@gentei.org
parents:
125
diff
changeset
|
690 (defun YaTeX-typeset-environment () |
371
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
691 "Typeset current environment or paragraph. |
f5b8e7415a25
Experimental code to split conv2img into dvi2png and pdf2png
HIROSE Yuuji <yuuji@gentei.org>
parents:
370
diff
changeset
|
692 If region activated, use it." |
130
8703f090c628
`[prefix] t e' for YaTeX-typeset-environment.
yuuji@gentei.org
parents:
125
diff
changeset
|
693 (interactive) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
694 (let ((md (match-data))) |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
695 (unwind-protect |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
696 (save-excursion |
517
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
697 (or (YaTeX-filter-BEGEND) |
668632d9392e
Initial implementation of SpecialFilterRegion
HIROSE Yuuji <yuuji@gentei.org>
parents:
514
diff
changeset
|
698 (YaTeX-typeset-environment-1))) |
380
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
699 (store-match-data md)))) |
f061b37c7542
Equalize boundary of non-math environment with math environment.
HIROSE Yuuji <yuuji@gentei.org>
parents:
378
diff
changeset
|
700 |
130
8703f090c628
`[prefix] t e' for YaTeX-typeset-environment.
yuuji@gentei.org
parents:
125
diff
changeset
|
701 |
377
81413ee9c32d
Use overlay to distinguish border of on-the-fly preview area.
HIROSE Yuuji <yuuji@gentei.org>
parents:
376
diff
changeset
|
702 (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
|
703 "*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
|
704 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
|
705 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
|
706 |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
707 (defun YaTeX-typeset-environment-auto (beg end) |
375
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
708 "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
|
709 (if YaTeX-typeset-environment-timer |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
710 (cancel-timer YaTeX-typeset-environment-timer)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
711 (if YaTeX-on-the-fly-overlay |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
712 (move-overlay YaTeX-on-the-fly-overlay beg end) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
713 (overlay-put |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
714 (setq YaTeX-on-the-fly-overlay (make-overlay beg end)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
715 'face 'YaTeX-on-the-fly-activated-face)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
716 (setq YaTeX-typeset-environment-timer |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
717 (run-with-idle-timer |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
718 (max (string-to-number "0.1") |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
719 (cond |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
720 ((numberp YaTeX-on-the-fly-preview-interval) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
721 YaTeX-on-the-fly-preview-interval) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
722 ((stringp YaTeX-on-the-fly-preview-interval) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
723 (string-to-number YaTeX-on-the-fly-preview-interval)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
724 (t 1))) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
725 t 'YaTeX-typeset-environment-timer))) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
726 |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
727 (defun YaTeX-typeset-environment-activate-onthefly () |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
728 (if (get-text-property (point) 'onthefly) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
729 (save-excursion |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
730 (if YaTeX-typeset-environment-timer |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
731 (progn |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
732 (cancel-timer YaTeX-typeset-environment-timer) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
733 (setq YaTeX-typeset-environment-timer nil))) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
734 (if (YaTeX-on-begin-end-p) |
405
6b0d090840c1
YaTeX-on-begin-end-p: regex group 1,3 have `begin' patterns, 2,4 for `end'
HIROSE Yuuji <yuuji@gentei.org>
parents:
403
diff
changeset
|
735 (if (or (match-beginning 1) (match-beginning 3)) ;on beginning |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
736 (goto-char (match-end 0)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
737 (goto-char (match-beginning 0)))) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
738 (YaTeX-typeset-environment)))) |
375
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
739 |
406
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
740 (defun YaTeX-on-the-fly-cancel () |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
741 "Reset on-the-fly stickiness" |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
742 (interactive) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
743 (YaTeX-typeset-environment-cancel-auto 'stripoff) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
744 t) ;t for kill-* |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
745 |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
746 (defun YaTeX-typeset-environment-cancel-auto (&optional stripoff) |
375
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
747 "Cancel typeset-environment timer." |
afb8cb06b1d4
First trial of on-the-fly image-preview
HIROSE Yuuji <yuuji@gentei.org>
parents:
374
diff
changeset
|
748 (interactive) |
403
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
749 (if YaTeX-typeset-environment-timer |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
750 (cancel-timer YaTeX-typeset-environment-timer)) |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
751 (setq YaTeX-typeset-environment-timer |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
752 (run-with-idle-timer |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
753 (string-to-number "0.1") |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
754 t |
d8d66ed51034
Now on-the-fly preview is sticky to the environment where once called.
HIROSE Yuuji <yuuji@gentei.org>
parents:
399
diff
changeset
|
755 'YaTeX-typeset-environment-activate-onthefly)) |
406
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
756 (let ((ov YaTeX-on-the-fly-overlay)) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
757 (if stripoff |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
758 (remove-text-properties (overlay-start ov) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
759 (1- (overlay-end ov)) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
760 '(onthefly)) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
761 (put-text-property (overlay-start YaTeX-on-the-fly-overlay) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
762 (1- (overlay-end YaTeX-on-the-fly-overlay)) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
763 'onthefly |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
764 t)) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
765 (delete-overlay ov) |
acfa7d11b5c3
Sticky on-the-fly preview can be canceled by [prefix] k on vacant position.
HIROSE Yuuji <yuuji@gentei.org>
parents:
405
diff
changeset
|
766 (message "On-the-fly preview deactivated"))) |
130
8703f090c628
`[prefix] t e' for YaTeX-typeset-environment.
yuuji@gentei.org
parents:
125
diff
changeset
|
767 |
123 | 768 (defun YaTeX-typeset-buffer (&optional pp) |
60
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
769 "Typeset whole buffer. |
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
770 If %#! usage says other buffer is main text, |
51 | 771 visit main buffer to confirm if its includeonly list contains current |
772 buffer's file. And if it doesn't contain editing text, ask user which | |
123 | 773 action wants to be done, A:Add list, R:Replace list, %:comment-out list. |
774 If optional argument PP given as string, PP is considered as post-process | |
775 command and call it with the same command argument as typesetter without | |
776 last extension. | |
777 eg. if PP is \"dvipdfmx\", called commands as follows. | |
778 platex foo.tex | |
779 dvipdfmx foo | |
780 PP command will be called iff typeset command exit successfully" | |
51 | 781 (interactive) |
782 (YaTeX-save-buffers) | |
783 (let*((me (substring (buffer-name) 0 (rindex (buffer-name) ?.))) | |
784 (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
|
785 (cmd (YaTeX-get-latex-command t)) pparg ppcmd bibcmd |
123 | 786 (cb (current-buffer))) |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
787 (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
|
788 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
|
789 pparg (substring pparg 0 (rindex pparg ?.)) ;rm ext |
506
feef2aa1f50f
Bibtex-command accepts %k like "pbibtex -kanji=%k".
HIROSE Yuuji <yuuji@gentei.org>
parents:
505
diff
changeset
|
790 bibcmd (YaTeX-replace-format |
feef2aa1f50f
Bibtex-command accepts %k like "pbibtex -kanji=%k".
HIROSE Yuuji <yuuji@gentei.org>
parents:
505
diff
changeset
|
791 (or (YaTeX-get-builtin "BIBTEX") bibtex-command) |
feef2aa1f50f
Bibtex-command accepts %k like "pbibtex -kanji=%k".
HIROSE Yuuji <yuuji@gentei.org>
parents:
505
diff
changeset
|
792 "k" (YaTeX-kanji-ptex-mnemonic))) |
feef2aa1f50f
Bibtex-command accepts %k like "pbibtex -kanji=%k".
HIROSE Yuuji <yuuji@gentei.org>
parents:
505
diff
changeset
|
793 (or (string-match "\\s [^-]" bibcmd) ;if bibcmd has no argument, |
262
15ec86ff549c
Call always bibtex after first typesetting when document needs bibtex.
HIROSE Yuuji <yuuji@gentei.org>
parents:
261
diff
changeset
|
794 (setq bibcmd (concat bibcmd pparg))) ;append argument(== %#!) |
123 | 795 (and pp |
796 (stringp pp) | |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
797 (setq ppcmd (concat pp pparg))) |
51 | 798 (if (YaTeX-main-file-p) nil |
799 (save-excursion | |
800 (YaTeX-visit-main t) ;search into main buffer | |
801 (save-excursion | |
802 (push-mark (point) t) | |
803 (goto-char (point-min)) | |
804 (if (and (re-search-forward "^[ ]*\\\\begin{document}" nil t) | |
805 (re-search-backward "^[ ]*\\\\includeonly{" nil t)) | |
806 (let* | |
807 ((b (progn (skip-chars-forward "^{") (point))) | |
808 (e (progn (skip-chars-forward "^}") (1+ (point)))) | |
809 (s (buffer-substring b e)) c | |
810 (pardir (file-name-directory (buffer-file-name)))) | |
811 (if (string-match (concat "[{,/]" me "[,}]") s) | |
812 nil ; Nothing to do when it's already in includeonly. | |
813 (ding) | |
530
fb4822efb1f5
Workaround for Emacs26 (switch-to-buffer)
HIROSE Yuuji <yuuji@gentei.org>
parents:
527
diff
changeset
|
814 (set-window-buffer nil (current-buffer));Display this buffer. |
51 | 815 (setq |
816 me ;;Rewrite my name(me) to contain sub directory name. | |
817 (concat | |
818 (if (string-match pardir mydir) ;if mydir is child of main | |
819 (substring mydir (length pardir)) ;cut absolute path | |
820 mydir) ;else concat absolute path name. | |
821 me)) | |
822 (message | |
823 "`%s' is not in \\includeonly. A)dd R)eplace %%)comment? " | |
824 me) | |
825 (setq c (read-char)) | |
826 (cond | |
827 ((= c ?a) | |
828 (goto-char (1+ b)) | |
829 (insert me (if (string= s "{}") "" ","))) | |
830 ((= c ?r) | |
831 (delete-region (1+ b) (1- e)) (insert me)) | |
832 ((= c ?%) | |
833 (beginning-of-line) (insert "%")) | |
834 (t nil)) | |
835 (basic-save-buffer)))) | |
836 (exchange-point-and-mark))) | |
531
6ea85aaae6f2
Workaround for Emacs26 (switch-to-buffer)
HIROSE Yuuji <yuuji@gentei.org>
parents:
530
diff
changeset
|
837 (set-window-buffer nil cb)) ;for 19 and 26 |
123 | 838 (YaTeX-typeset cmd YaTeX-typeset-buffer nil nil ppcmd) |
69 | 839 (put 'dvi2-command 'region nil))) |
51 | 840 |
841 (defvar YaTeX-call-command-history nil | |
842 "Holds history list of YaTeX-call-command-on-file.") | |
843 (put 'YaTeX-call-command-history 'no-default t) | |
86 | 844 (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
|
845 "Call external command BASE-CMD in the BUFFER. |
86 | 846 By default, pass the basename of current file. Optional 3rd argument |
847 FILE changes the default file name." | |
51 | 848 (YaTeX-save-buffers) |
171
670549efa5c2
YaTeX-call-command-on-file: Use last input command line as default.
yuuji@gentei.org
parents:
152
diff
changeset
|
849 (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
|
850 (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
|
851 (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
|
852 (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
|
853 (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
|
854 me))))) |
670549efa5c2
YaTeX-call-command-on-file: Use last input command line as default.
yuuji@gentei.org
parents:
152
diff
changeset
|
855 (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
|
856 (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
|
857 (YaTeX-typeset |
670549efa5c2
YaTeX-call-command-on-file: Use last input command line as default.
yuuji@gentei.org
parents:
152
diff
changeset
|
858 (read-string-with-history |
670549efa5c2
YaTeX-call-command-on-file: Use last input command line as default.
yuuji@gentei.org
parents:
152
diff
changeset
|
859 "Call command: " |
670549efa5c2
YaTeX-call-command-on-file: Use last input command line as default.
yuuji@gentei.org
parents:
152
diff
changeset
|
860 (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
|
861 'YaTeX-call-command-history) |
670549efa5c2
YaTeX-call-command-on-file: Use last input command line as default.
yuuji@gentei.org
parents:
152
diff
changeset
|
862 buffer))) |
51 | 863 |
227
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
864 (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
|
865 (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
|
866 (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
|
867 "Call command on file specified by BUILTIN-TYPE." |
51 | 868 (YaTeX-save-buffers) |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
869 (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
|
870 (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
|
871 (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
|
872 (alist YaTeX-call-builtin-on-file) |
511
551fcb1d22a0
Call-builtin command line candidate should not be %-expanded
HIROSE Yuuji <yuuji@gentei.org>
parents:
509
diff
changeset
|
873 (b-in (or (YaTeX-get-builtin builtin-type) |
551fcb1d22a0
Call-builtin command line candidate should not be %-expanded
HIROSE Yuuji <yuuji@gentei.org>
parents:
509
diff
changeset
|
874 (cdr (assoc builtin-type alist)))) |
227
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
875 (command b-in)) |
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
876 (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
|
877 (progn |
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
878 (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
|
879 (format "%s command: " builtin-type) |
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
880 (or b-in |
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
881 (format "%s %s" default mainroot)) |
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
882 'YaTeX-call-command-history)) |
3b2ac4652810
Handling of built-in is changed to use YaTeX-getset-builtin.
yuuji@gentei.org
parents:
224
diff
changeset
|
883 (if (or update (null b-in)) |
362 | 884 (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
|
885 (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
|
886 (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
|
887 (cons (cons builtin-type command) |
362 | 888 (delete (assoc builtin-type alist) alist))) |
889 (message "`%s' kept in memory. Type `%s %s' to override." | |
890 command | |
891 (key-description | |
892 (car (where-is-internal 'universal-argument))) | |
893 (key-description (this-command-keys))) | |
894 (sit-for 2))))) | |
224
9705855793ca
YaTeX-typeset-auto-rerun for labels and bibitems reference resolution.
yuuji@gentei.org
parents:
213
diff
changeset
|
895 (YaTeX-typeset |
511
551fcb1d22a0
Call-builtin command line candidate should not be %-expanded
HIROSE Yuuji <yuuji@gentei.org>
parents:
509
diff
changeset
|
896 (YaTeX-replace-format command "k" (YaTeX-kanji-ptex-mnemonic)) |
362 | 897 (format " *YaTeX-%s*" (downcase builtin-type)) |
898 builtin-type builtin-type))) | |
51 | 899 |
900 (defun YaTeX-kill-typeset-process (proc) | |
901 "Kill process PROC after sending signal to PROC. | |
902 PROC should be process identifier." | |
903 (cond | |
68 | 904 ((not (fboundp 'start-process)) |
905 (error "This system can't have concurrent process.")) | |
51 | 906 ((or (null proc) (not (eq (process-status proc) 'run))) |
907 (message "Typesetting process is not running.")) | |
908 (t | |
909 (save-excursion | |
910 (set-buffer (process-buffer proc)) | |
911 (save-excursion | |
912 (goto-char (point-max)) | |
913 (beginning-of-line) | |
914 (if (looking-at "\\? +$") | |
915 (let ((mp (point-max))) | |
916 (process-send-string proc "x\n") | |
917 (while (= mp (point-max)) (sit-for 1)))))) | |
918 (if (eq (process-status proc) 'run) | |
919 (progn | |
920 (interrupt-process proc) | |
69 | 921 (delete-process proc)))))) |
51 | 922 |
351
0fc7ea5baa5f
YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file.
HIROSE Yuuji <yuuji@gentei.org>
parents:
350
diff
changeset
|
923 (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
|
924 "Execute some COMMAND with process name `NAME'. Not a official function. |
514
8e0822416fc6
DOC string fix and trivial fix.
HIROSE Yuuji <yuuji@gentei.org>
parents:
513
diff
changeset
|
925 Optional third argument NOASK skip query when privious process running. |
8e0822416fc6
DOC string fix and trivial fix.
HIROSE Yuuji <yuuji@gentei.org>
parents:
513
diff
changeset
|
926 Optional fourth argument BASEDIR changes default-directory there." |
51 | 927 (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
|
928 (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
|
929 (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
|
930 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
|
931 (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
|
932 (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
|
933 (erase-buffer) |
362 | 934 (insert (format "Calling `%s'...\n" command) |
514
8e0822416fc6
DOC string fix and trivial fix.
HIROSE Yuuji <yuuji@gentei.org>
parents:
513
diff
changeset
|
935 "==Kill this buffer to STOP process==\n") |
354
5465428f5a68
`[prefix] t e' displays typesetting image in the next window, if possible.
HIROSE Yuuji <yuuji@gentei.org>
parents:
352
diff
changeset
|
936 (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
|
937 (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
|
938 (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
|
939 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
|
940 (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
|
941 (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
|
942 (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
|
943 (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
|
944 (not |
0fc7ea5baa5f
YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file.
HIROSE Yuuji <yuuji@gentei.org>
parents:
350
diff
changeset
|
945 (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
|
946 nil |
0fc7ea5baa5f
YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file.
HIROSE Yuuji <yuuji@gentei.org>
parents:
350
diff
changeset
|
947 (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
|
948 (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
|
949 (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
|
950 (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
|
951 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
|
952 (get-buffer buffer))))))) |
51 | 953 |
72 | 954 (defvar YaTeX-default-paper-type "a4" |
955 "*Default paper type.") | |
956 (defconst YaTeX-paper-type-alist | |
957 '(("a4paper" . "a4") | |
958 ("a5paper" . "a5") | |
959 ("b4paper" . "b4") | |
960 ("b5paper" . "b5")) | |
961 "Holds map of options and paper types.") | |
962 (defconst YaTeX-dvips-paper-option-alist | |
963 '(("a4" . "-t a4") | |
964 ("a5" . "-t a5") | |
965 ("b4" . "-t b4") | |
966 ("b5" . "-t b5") | |
967 ("a4r" . "-t landscape"); Can't specify options, `-t a4' and `-t landscape', at the same time. | |
968 ("a5r" . "-t landscape") | |
969 ("b4r" . "-t landscape") | |
970 ("b5r" . "-t landscape")) | |
971 "Holds map of dvips options and paper types.") | |
972 (defun YaTeX-get-paper-type () | |
973 "Search options in header and return a paper type, such as \"a4\", \"a4r\", etc." | |
974 (save-excursion | |
77 | 975 (YaTeX-visit-main t) |
72 | 976 (goto-char (point-min)) |
77 | 977 (let ((opts |
978 (if (re-search-forward | |
979 "^[ \t]*\\\\document\\(style\\|class\\)[ \t]*\\[\\([^]]*\\)\\]" nil t) | |
980 (YaTeX-split-string (YaTeX-match-string 2) "[ \t]*,[ \t]*")))) | |
981 (concat | |
982 (catch 'found-paper | |
983 (mapcar (lambda (pair) | |
79
0734be649cb8
Do not care file-coding-system when YaTeX-kanji-code is nil.
yuuji
parents:
77
diff
changeset
|
984 (if (YaTeX-member (car pair) opts) |
77 | 985 (throw 'found-paper (cdr pair)))) |
986 YaTeX-paper-type-alist) | |
987 YaTeX-default-paper-type) | |
79
0734be649cb8
Do not care file-coding-system when YaTeX-kanji-code is nil.
yuuji
parents:
77
diff
changeset
|
988 (if (YaTeX-member "landscape" opts) (if YaTeX-dos "L" "r") ""))))) |
72 | 989 |
51 | 990 (defvar YaTeX-preview-command-history nil |
991 "Holds minibuffer history of preview command.") | |
992 (put 'YaTeX-preview-command-history 'no-default t) | |
993 (defvar YaTeX-preview-file-history nil | |
994 "Holds minibuffer history of file to preview.") | |
995 (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
|
996 (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
|
997 "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
|
998 (YaTeX-replace-format |
410
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
999 (if (eq (get 'dvi2-command 'format) 'pdf) |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1000 (or (YaTeX-get-builtin "PDFVIEW") |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1001 tex-pdfview-command) |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1002 (or (YaTeX-get-builtin "PREVIEW") |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1003 dvi2-command)) |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1004 "p" (format (cond |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1005 (YaTeX-dos "-y:%s") |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1006 (t "-paper %s")) |
9ab38ecfd3d1
Default previewer for PDF is taken from %#PDFVIEW instead of %#PREVIEW.
HIROSE Yuuji <yuuji@gentei.org>
parents:
408
diff
changeset
|
1007 (YaTeX-get-paper-type)))) |
328
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1008 (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
|
1009 "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
|
1010 (if (get 'dvi2-command 'region) |
86 | 1011 (substring YaTeX-texput-file |
1012 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
|
1013 (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
|
1014 (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
|
1015 "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
|
1016 (interactive |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1017 (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
|
1018 (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
|
1019 (command (if as-default |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1020 previewer |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1021 (read-string-with-history |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1022 "Preview command: " |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1023 previewer |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1024 'YaTeX-preview-command-history))) |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1025 (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
|
1026 (file (if as-default |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1027 target |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1028 (read-string-with-history |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1029 "Preview file: " |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1030 target |
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1031 'YaTeX-preview-file-history)))) |
86 | 1032 (list command file))) |
328
d972598d233b
Prefix-arg for YaTeX-preview runs default previewer without inquiry
HIROSE Yuuji <yuuji@gentei.org>
parents:
326
diff
changeset
|
1033 (setq dvi2-command preview-command) ;`dvi2-command' is buffer local |
51 | 1034 (save-excursion |
1035 (YaTeX-visit-main t) | |
86 | 1036 (if YaTeX-dos (setq preview-file (expand-file-name preview-file))) |
51 | 1037 (let ((pbuffer "*dvi-preview*") (dir default-directory)) |
1038 (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
|
1039 pbuffer 'YaTeX-showup-buffer-bottom-most) |
51 | 1040 (set-buffer (get-buffer-create pbuffer)) |
1041 (erase-buffer) | |
1042 (setq default-directory dir) ;for 18 | |
1043 (cd dir) ;for 19 | |
1044 (cond | |
64 | 1045 ((not (fboundp 'start-process)) ;if MS-DOS |
51 | 1046 (send-string-to-terminal "\e[2J\e[>5h") ;CLS & hide cursor |
1047 (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
|
1048 YaTeX-shell-command-option |
61 | 1049 (concat preview-command " " preview-file)) |
51 | 1050 (send-string-to-terminal "\e[>5l") ;show cursor |
1051 (redraw-display)) | |
69 | 1052 ((and (string-match "dviout" preview-command) ;maybe on `kon' |
1053 (stringp (getenv "TERM")) | |
1054 (string-match "^kon" (getenv "TERM"))) | |
1055 (call-process shell-file-name "con" "*dvi-preview*" nil | |
1056 YaTeX-shell-command-option | |
1057 (concat preview-command " " preview-file))) | |
51 | 1058 (t ;if UNIX |
1059 (set-process-buffer | |
86 | 1060 (let ((process-connection-type nil)) |
1061 (start-process "preview" "*dvi-preview*" shell-file-name | |
1062 YaTeX-shell-command-option | |
1063 (concat preview-command " " preview-file))) | |
51 | 1064 (get-buffer pbuffer)) |
1065 (message | |
1066 (concat "Starting " preview-command | |
69 | 1067 " to preview " preview-file))))))) |
51 | 1068 |
58
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1069 (defvar YaTeX-xdvi-remote-program "xdvi") |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1070 (defun YaTeX-xdvi-remote-search (&optional region-mode) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1071 "Search string at the point on xdvi -remote window. |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1072 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
|
1073 by region." |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1074 (interactive "P") |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1075 (let ((pb " *xdvi*") str proc) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1076 (save-excursion |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1077 (if region-mode |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1078 (setq str (buffer-substring (region-beginning) (region-end))) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1079 (setq str (buffer-substring |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1080 (point) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1081 (progn (skip-chars-forward "^\n\\\\}") (point))))) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1082 (message "Searching `%s'..." str) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1083 (if (boundp 'MULE) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1084 (define-program-coding-system |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1085 (regexp-quote pb) (regexp-quote YaTeX-xdvi-remote-program) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1086 *euc-japan*)) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1087 (setq proc |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1088 (start-process |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1089 "xdvi" pb YaTeX-xdvi-remote-program |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1090 "-remote" (format "SloppySearch(%s) " str) |
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1091 (concat (YaTeX-get-preview-file-name) ".dvi"))) |
69 | 1092 (message "Searching `%s'...Done" str)))) |
58
3a7c0c2bf16d
Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents:
57
diff
changeset
|
1093 |
350
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1094 (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
|
1095 "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
|
1096 (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
|
1097 |
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1098 (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
|
1099 "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
|
1100 (interactive) |
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1101 (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
|
1102 (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
|
1103 (widen) |
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1104 (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
|
1105 (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
|
1106 (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
|
1107 (bnr (substring pf 0 (string-match "\\....$" pf))) |
436
e78a87bc2c9e
current file treated as absolute path(YaTeX-preview-jump-line)
HIROSE Yuuji <yuuji@gentei.org>
parents:
431
diff
changeset
|
1108 ;(cf (file-relative-name (buffer-file-name) pdir)) |
e78a87bc2c9e
current file treated as absolute path(YaTeX-preview-jump-line)
HIROSE Yuuji <yuuji@gentei.org>
parents:
431
diff
changeset
|
1109 (cf (buffer-file-name)) ;2016-01-08 |
350
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1110 (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
|
1111 (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
|
1112 (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
|
1113 (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
|
1114 ((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
|
1115 (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
|
1116 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
|
1117 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
|
1118 ((string-match "Skim" previewer) |
352
ecf7b5543e65
Arguments corrected for previewers
HIROSE Yuuji <yuuji@gentei.org>
parents:
351
diff
changeset
|
1119 (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
|
1120 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
|
1121 ((string-match "evince" previewer) |
352
ecf7b5543e65
Arguments corrected for previewers
HIROSE Yuuji <yuuji@gentei.org>
parents:
351
diff
changeset
|
1122 (format "%s '%s.pdf' %d '%s'" |
ecf7b5543e65
Arguments corrected for previewers
HIROSE Yuuji <yuuji@gentei.org>
parents:
351
diff
changeset
|
1123 "fwdevince" bnr line cf)) |
362 | 1124 ;; |
1125 ;; These lines below for other PDF viewer is not confirmed | |
1126 ;; yet. If you find correct command line, PLEASE TELL | |
1127 ;; IT TO THE AUTHOR before publishing patch on the web. | |
1128 ;; ..PLEASE PLEASE PLEASE PLEASE PLEASE PLEASE PLEASE.. | |
369
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1129 ((string-match "sumatra" previewer) ;;?? |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1130 (format "%s \"%s.pdf\" -forward-search \"%s\" %d" |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1131 ;;Send patch to the author, please |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1132 previewer bnr cf line)) |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1133 ((string-match "qpdfview" previewer) ;;?? |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1134 (format "%s '%s.pdf#src:%s:%d:0'" |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1135 ;;Send patch to the author, please |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1136 previewer bnr cf line)) |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1137 ((string-match "okular" previewer) ;;?? |
507 | 1138 (format "%s '%s.pdf#src:%d %s'" |
369
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1139 ;;Send patch to the author, please |
a536acc07a75
Re-activate forward-search code.
HIROSE Yuuji <yuuji@gentei.org>
parents:
367
diff
changeset
|
1140 previewer bnr line cf)) |
362 | 1141 ))) |
351
0fc7ea5baa5f
YaTeX-system takes two more args for utilization from YaTeX-preview-jump-file.
HIROSE Yuuji <yuuji@gentei.org>
parents:
350
diff
changeset
|
1142 (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
|
1143 |
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1144 (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
|
1145 (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
|
1146 (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
|
1147 (progn |
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1148 (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
|
1149 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
|
1150 nil))) |
91ba61bb536e
[prefix] g calls forward-search of previewers if -src is given to typesetting.
HIROSE Yuuji <yuuji@gentei.org>
parents:
328
diff
changeset
|
1151 |
592
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1152 (and (or (featurep 'dbus) (load "dbus" t)) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1153 ;; Cannot load dbus on emacs without dbus module |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1154 (fboundp 'url-unhex-string) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1155 (fboundp 'dbus-register-signal) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1156 ;; From https://texwiki.texjp.org/?Emacs#vecb4fd9 |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1157 (progn |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1158 (fset 'YaTeX-evince-inverse-search |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1159 (if (fboundp 'evince-inverse) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1160 'evince-inverse ;Use previously defined one |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1161 (function |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1162 (lambda (file linecol &rest args) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1163 (let* ((fn (decode-coding-string |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1164 (url-unhex-string |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1165 (if (string-match "^file:///" file) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1166 (substring file 7) file)) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1167 'utf-8)) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1168 (buf (YaTeX-switch-to-buffer fn)) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1169 (ln (car linecol)) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1170 (col (car (cdr linecol)))) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1171 (if (null buf) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1172 (error "[Synctex]: Not found [%s]" file) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1173 (goto-line ln) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1174 (move-to-column (max 0 col)))))))) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1175 (dbus-register-signal |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1176 :session nil "/org/gnome/evince/Window/0" |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1177 "org.gnome.evince.Window" "SyncSource" |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1178 'YaTeX-evince-inverse-search))) |
86ceef677ca2
Support synctex for evince (thanks to TeX Wiki)
HIROSE Yuuji <yuuji@gentei.org>
parents:
578
diff
changeset
|
1179 |
455
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1180 (defun YaTeX-set-virtual-error-position (file-sym line-sym) |
52 | 1181 "Replace the value of FILE-SYM, LINE-SYM by virtual error position." |
1182 (cond | |
1183 ((and (get 'dvi2-command 'region) | |
1184 (> (symbol-value line-sym) (car (get 'dvi2-command 'offset)))) | |
1185 (set file-sym (get 'dvi2-command 'file)) | |
1186 (set line-sym | |
1187 (+ (- (apply '- (get 'dvi2-command 'offset))) | |
1188 (symbol-value line-sym) | |
1189 -1))))) | |
1190 | |
51 | 1191 (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
|
1192 "Visit position of previous typeset error or warning. |
51 | 1193 To avoid making confliction of line numbers by editing, jump to |
1194 error or warning lines in reverse order." | |
1195 (interactive) | |
230
7f4a5db88fbb
Don't pause at re-run. YaTeX-prev-error supports re-run.
yuuji@gentei.org
parents:
227
diff
changeset
|
1196 (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
|
1197 (cur-win (selected-window)) |
455
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1198 tsb-frame-selwin |
230
7f4a5db88fbb
Don't pause at re-run. YaTeX-prev-error supports re-run.
yuuji@gentei.org
parents:
227
diff
changeset
|
1199 b0 bound errorp error-line typeset-win error-buffer error-win) |
51 | 1200 (if (null (get-buffer YaTeX-typeset-buffer)) |
1201 (error "There is no typesetting buffer.")) | |
455
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1202 (and (fboundp 'selected-frame) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1203 (setq typeset-win (get-buffer-window YaTeX-typeset-buffer t)) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1204 (setq tsb-frame-selwin (frame-selected-window typeset-win))) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1205 |
51 | 1206 (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
|
1207 (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
|
1208 (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
|
1209 (setq bound YaTeX-typeset-marker)) |
51 | 1210 (setq typeset-win (selected-window)) |
1211 (if (re-search-backward | |
1212 (concat "\\(" latex-error-regexp "\\)\\|\\(" | |
1213 latex-warning-regexp "\\)") | |
230
7f4a5db88fbb
Don't pause at re-run. YaTeX-prev-error supports re-run.
yuuji@gentei.org
parents:
227
diff
changeset
|
1214 bound t) |
80 | 1215 (setq errorp (match-beginning 1)) |
51 | 1216 (select-window cur-win) |
68 | 1217 (error "No more errors on %s" cur-buf)) |
80 | 1218 (goto-char (setq b0 (match-beginning 0))) |
51 | 1219 (skip-chars-forward "^0-9" (match-end 0)) |
1220 (setq error-line | |
452 | 1221 (YaTeX-str2int |
51 | 1222 (buffer-substring |
1223 (point) | |
1224 (progn (skip-chars-forward "0-9" (match-end 0)) (point)))) | |
70 | 1225 error-buffer (expand-file-name (YaTeX-get-error-file cur-buf))) |
51 | 1226 (if (or (null error-line) (equal 0 error-line)) |
1227 (error "Can't detect error position.")) | |
52 | 1228 (YaTeX-set-virtual-error-position 'error-buffer 'error-line) |
455
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1229 |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1230 (select-window typeset-win) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1231 (skip-chars-backward "0-9") |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1232 (recenter (/ (window-height) 2)) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1233 (sit-for 1) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1234 (goto-char b0) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1235 (and tsb-frame-selwin (select-window tsb-frame-selwin)) ;restore selwin |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1236 |
52 | 1237 (setq error-win (get-buffer-window error-buffer)) |
51 | 1238 (select-window cur-win) |
1239 (cond | |
455
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1240 (t (goto-buffer-window error-buffer) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1241 (if (fboundp 'raise-frame) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1242 (let ((edit-frame (window-frame (selected-window)))) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1243 (raise-frame edit-frame) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1244 (select-frame edit-frame))) |
bf2497be3ec5
YaTeX-prev-error: Select opened buffer-window if it is already open.
HIROSE Yuuji <yuuji@gentei.org>
parents:
453
diff
changeset
|
1245 ) |
51 | 1246 (error-win (select-window error-win)) |
1247 ((eq (get-lru-window) typeset-win) | |
1248 (YaTeX-switch-to-buffer error-buffer)) | |
1249 (t (select-window (get-lru-window)) | |
1250 (YaTeX-switch-to-buffer error-buffer))) | |
1251 (setq error-win (selected-window)) | |
1252 (goto-line error-line) | |
1253 (message "LaTeX %s in `%s' on line: %d." | |
80 | 1254 (if errorp "error" "warning") |
51 | 1255 error-buffer error-line) |
69 | 1256 (select-window error-win))) |
51 | 1257 |
1258 (defun YaTeX-jump-error-line () | |
1259 "Jump to corresponding line on latex command's error message." | |
1260 (interactive) | |
1261 (let (error-line error-file error-buf) | |
1262 (save-excursion | |
1263 (beginning-of-line) | |
1264 (setq error-line (re-search-forward "l[ ines]*\\.?\\([1-9][0-9]*\\)" | |
1265 (point-end-of-line) t))) | |
1266 (if (null error-line) | |
1267 (if (eobp) (insert (this-command-keys)) | |
1268 (error "No line number expression.")) | |
1269 (goto-char (match-beginning 0)) | |
452 | 1270 (setq error-line (YaTeX-str2int |
51 | 1271 (buffer-substring (match-beginning 1) (match-end 1))) |
70 | 1272 error-file (expand-file-name |
1273 (YaTeX-get-error-file YaTeX-current-TeX-buffer))) | |
52 | 1274 (YaTeX-set-virtual-error-position 'error-file 'error-line) |
1275 (setq error-buf (YaTeX-switch-to-buffer error-file t))) | |
51 | 1276 (if (null error-buf) |
1277 (error "`%s' is not found in this directory." error-file)) | |
1278 (YaTeX-showup-buffer error-buf nil t) | |
69 | 1279 (goto-line error-line))) |
51 | 1280 |
1281 (defun YaTeX-send-string () | |
1282 "Send string to current typeset process." | |
1283 (interactive) | |
1284 (if (and (eq (process-status YaTeX-typeset-process) 'run) | |
1285 (>= (point) (process-mark YaTeX-typeset-process))) | |
1286 (let ((b (process-mark YaTeX-typeset-process)) | |
1287 (e (point-end-of-line))) | |
1288 (goto-char b) | |
1289 (skip-chars-forward " \t" e) | |
1290 (setq b (point)) | |
1291 (process-send-string | |
1292 YaTeX-typeset-process (concat (buffer-substring b e) "\n")) | |
1293 (goto-char e) | |
1294 (insert "\n") | |
1295 (set-marker (process-mark YaTeX-typeset-process) (point)) | |
1296 (insert " ")) | |
69 | 1297 (ding))) |
51 | 1298 |
1299 (defun YaTeX-view-error () | |
1300 (interactive) | |
1301 (if (null (get-buffer YaTeX-typeset-buffer)) | |
1302 (message "No typeset buffer found.") | |
1303 (let ((win (selected-window))) | |
1304 (YaTeX-showup-buffer YaTeX-typeset-buffer nil t) | |
1305 ;; Next 3 lines are obsolete because YaTeX-typesetting-buffer is | |
1306 ;; automatically scrolled up at typesetting. | |
1307 ;;(goto-char (point-max)) | |
1308 ;;(forward-line -1) | |
1309 ;;(recenter -1) | |
69 | 1310 (select-window win)))) |
51 | 1311 |
1312 (defun YaTeX-get-error-file (default) | |
1313 "Get current processing file from typesetting log." | |
1314 (save-excursion | |
1315 (let(s) | |
1316 (condition-case () (up-list -1) | |
1317 (error | |
1318 (let ((list 0) found) | |
1319 (while | |
1320 (and (<= list 0) (not found) | |
1321 (re-search-backward "\\((\\)\\|\\()\\)" nil t)) | |
1322 (if (equal (match-beginning 0) (match-beginning 2)) ;close paren. | |
1323 (setq list (1- list)) ;open paren | |
1324 (setq list (1+ list)) | |
1325 (if (= list 1) | |
1326 (if (looking-at "\\([^,{}%]+\.\\)tex\\|sty") | |
1327 (setq found t) | |
1328 (setq list (1- list))))))))) | |
1329 (setq s | |
1330 (buffer-substring | |
1331 (progn (forward-char 1) (point)) | |
453
f38293cfe508
Limit filename part to extension in an error log line.
HIROSE Yuuji <yuuji@gentei.org>
parents:
452
diff
changeset
|
1332 (if (re-search-forward |
f38293cfe508
Limit filename part to extension in an error log line.
HIROSE Yuuji <yuuji@gentei.org>
parents:
452
diff
changeset
|
1333 "\\.\\(tex\\|sty\\|ltx\\)\\>" nil (point-end-of-line)) |
f38293cfe508
Limit filename part to extension in an error log line.
HIROSE Yuuji <yuuji@gentei.org>
parents:
452
diff
changeset
|
1334 (match-end 0) |
f38293cfe508
Limit filename part to extension in an error log line.
HIROSE Yuuji <yuuji@gentei.org>
parents:
452
diff
changeset
|
1335 (skip-chars-forward "^ \n" (point-end-of-line)) |
f38293cfe508
Limit filename part to extension in an error log line.
HIROSE Yuuji <yuuji@gentei.org>
parents:
452
diff
changeset
|
1336 (point)))) |
69 | 1337 (if (string= "" s) default s)))) |
51 | 1338 |
1339 (defun YaTeX-put-nonstopmode () | |
64 | 1340 (if (and (eq major-mode 'yatex-mode) YaTeX-need-nonstop) |
51 | 1341 (if (re-search-backward "\\\\nonstopmode{}" (point-min) t) |
1342 nil ;if already written in text then do nothing | |
1343 (save-excursion | |
1344 (YaTeX-visit-main t) | |
1345 (goto-char (point-min)) | |
60
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1346 (insert "\\nonstopmode{}%_YaTeX_%\n") |
69 | 1347 (if (buffer-file-name) (basic-save-buffer)))))) |
51 | 1348 |
1349 (defun YaTeX-remove-nonstopmode () | |
64 | 1350 (if (and (eq major-mode 'yatex-mode) YaTeX-need-nonstop) ;for speed |
51 | 1351 (save-excursion |
1352 (YaTeX-visit-main t) | |
1353 (goto-char (point-min)) | |
1354 (forward-line 1) | |
1355 (narrow-to-region (point-min) (point)) | |
1356 (goto-char (point-min)) | |
1357 (delete-matching-lines "^\\\\nonstopmode\\{\\}%_YaTeX_%$") | |
69 | 1358 (widen)))) |
51 | 1359 |
80 | 1360 (defvar YaTeX-dvi2-command-ext-alist |
388 | 1361 '(("[agxk]dvi\\|dviout" . ".dvi") |
80 | 1362 ("ghostview\\|gv" . ".ps") |
505
55a20e3120a0
Add some PDF reader to pattern
HIROSE Yuuji <yuuji@gentei.org>
parents:
503
diff
changeset
|
1363 ("acroread\\|[xk]pdf\\|pdfopen\\|Preview\\|TeXShop\\|Skim\\|evince\\|atril\\|xreader\\|mupdf\\|zathura\\|okular" . ".pdf"))) |
80 | 1364 |
86 | 1365 (defun YaTeX-get-preview-file-name (&optional preview-command) |
51 | 1366 "Get file name to preview by inquiring YaTeX-get-latex-command" |
86 | 1367 (if (null preview-command) (setq preview-command dvi2-command)) |
51 | 1368 (let* ((latex-cmd (YaTeX-get-latex-command t)) |
1369 (rin (rindex latex-cmd ? )) | |
172
429d10a0d5b2
YaTeX-typeset-buffer: Change the method of constructing ppcmd.
yuuji@gentei.org
parents:
171
diff
changeset
|
1370 (fname (if rin (substring latex-cmd (1+ rin)) "")) |
86 | 1371 (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
|
1372 (ext (if r (cdr r) ""))) |
325
2561570d7194
evince usage; YaTeX-parent-file handling:
HIROSE Yuuji <yuuji@gentei.org>
parents:
294
diff
changeset
|
1373 (and (null r) |
2561570d7194
evince usage; YaTeX-parent-file handling:
HIROSE Yuuji <yuuji@gentei.org>
parents:
294
diff
changeset
|
1374 (eq (get 'dvi2-command 'format) 'pdf) |
499
16763e5b7481
Extension should include period. Fixed
HIROSE Yuuji <yuuji@gentei.org>
parents:
497
diff
changeset
|
1375 (setq ext ".pdf")) |
80 | 1376 (concat |
1377 (if (string= fname "") | |
172
429d10a0d5b2
YaTeX-typeset-buffer: Change the method of constructing ppcmd.
yuuji@gentei.org
parents:
171
diff
changeset
|
1378 (setq fname (substring (file-name-nondirectory |
429d10a0d5b2
YaTeX-typeset-buffer: Change the method of constructing ppcmd.
yuuji@gentei.org
parents:
171
diff
changeset
|
1379 (buffer-file-name)) |
429d10a0d5b2
YaTeX-typeset-buffer: Change the method of constructing ppcmd.
yuuji@gentei.org
parents:
171
diff
changeset
|
1380 0 -4)) |
429d10a0d5b2
YaTeX-typeset-buffer: Change the method of constructing ppcmd.
yuuji@gentei.org
parents:
171
diff
changeset
|
1381 (setq fname (substring fname 0 (rindex fname ?.)))) |
80 | 1382 ext))) |
51 | 1383 |
574
80692d8b8828
New switch YaTeX-proc-feed-relative suppress absolute path name.
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
1384 (defvar YaTeX-proc-feed-relative t |
80692d8b8828
New switch YaTeX-proc-feed-relative suppress absolute path name.
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
1385 "Non-nil means feed process relative path name of target file.") |
51 | 1386 (defun YaTeX-get-latex-command (&optional switch) |
1387 "Specify the latex-command name and its argument. | |
1388 If there is a line which begins with string: \"%#!\", the following | |
1389 strings are assumed to be the latex-command and arguments. The | |
1390 default value of latex-command is: | |
1391 tex-command FileName | |
388 | 1392 and if you write \"%#!platex\" in the beginning of certain line. |
1393 \"platex \" FileName | |
51 | 1394 will be the latex-command, |
388 | 1395 and you write \"%#!platex main.tex\" on some line and argument SWITCH |
51 | 1396 is non-nil, then |
388 | 1397 \"platex main.tex\" |
51 | 1398 |
1399 will be given to the shell." | |
80 | 1400 (let (parent tparent magic) |
51 | 1401 (setq parent |
1402 (cond | |
80 | 1403 (YaTeX-parent-file |
1404 (if YaTeX-dos (expand-file-name YaTeX-parent-file) | |
574
80692d8b8828
New switch YaTeX-proc-feed-relative suppress absolute path name.
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
1405 (if YaTeX-proc-feed-relative |
80692d8b8828
New switch YaTeX-proc-feed-relative suppress absolute path name.
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
1406 (file-relative-name YaTeX-parent-file) |
80692d8b8828
New switch YaTeX-proc-feed-relative suppress absolute path name.
HIROSE Yuuji <yuuji@gentei.org>
parents:
531
diff
changeset
|
1407 YaTeX-parent-file))) |
51 | 1408 (t (save-excursion |
1409 (YaTeX-visit-main t) | |
1410 (file-name-nondirectory (buffer-file-name))))) | |
80 | 1411 magic (YaTeX-get-builtin "!") |
1412 tparent (file-name-nondirectory parent)) | |
1413 (YaTeX-replace-formats | |
1414 (cond | |
1415 (magic | |
1416 (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
|
1417 (switch (if (string-match "\\s [^-]\\S *$" magic) magic |
80 | 1418 (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
|
1419 (t (concat (substring magic 0 (string-match "\\s [^-]\\S *$" magic)) " ")))) |
80 | 1420 (t (concat tex-command " " (if switch parent)))) |
1421 (list (cons "f" tparent) | |
503
d675f6d06481
Format string `%k' in tex-command replaced to kanji-coding mnemonic.
HIROSE Yuuji <yuuji@gentei.org>
parents:
499
diff
changeset
|
1422 (cons "r" (substring tparent 0 (rindex tparent ?.))) |
d675f6d06481
Format string `%k' in tex-command replaced to kanji-coding mnemonic.
HIROSE Yuuji <yuuji@gentei.org>
parents:
499
diff
changeset
|
1423 (cons "k" (YaTeX-kanji-ptex-mnemonic)))))) |
51 | 1424 |
1425 (defvar YaTeX-lpr-command-history nil | |
1426 "Holds command line history of YaTeX-lpr.") | |
1427 (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
|
1428 (defvar YaTeX-lpr-ask-page-range-default t) |
51 | 1429 (defun YaTeX-lpr (arg) |
79
0734be649cb8
Do not care file-coding-system when YaTeX-kanji-code is nil.
yuuji
parents:
77
diff
changeset
|
1430 "Print out. |
0734be649cb8
Do not care file-coding-system when YaTeX-kanji-code is nil.
yuuji
parents:
77
diff
changeset
|
1431 If prefix arg ARG is non nil, call print driver without |
51 | 1432 page range description." |
1433 (interactive "P") | |
79
0734be649cb8
Do not care file-coding-system when YaTeX-kanji-code is nil.
yuuji
parents:
77
diff
changeset
|
1434 (or YaTeX-lpr-ask-page-range-default (setq arg (not arg))) |
51 | 1435 (let*((cmd (or (YaTeX-get-builtin "LPR") dviprint-command-format)) |
52 | 1436 from to (lbuffer "*dvi-printing*") dir) |
51 | 1437 (setq |
1438 cmd | |
1439 (YaTeX-replace-format | |
1440 cmd "f" | |
1441 (if (or arg (not (string-match "%f" cmd))) | |
1442 "" | |
1443 (YaTeX-replace-format | |
1444 dviprint-from-format | |
1445 "b" | |
1446 (if (string= | |
1447 (setq from (read-string "From page(default 1): ")) "") | |
1448 "1" from)))) | |
1449 ) | |
1450 (setq | |
1451 cmd | |
1452 (YaTeX-replace-format | |
1453 cmd "t" | |
1454 (if (or arg (not (string-match "%t" cmd)) | |
1455 (string= | |
1456 (setq to (read-string "To page(default none): ")) "")) | |
1457 "" | |
1458 (YaTeX-replace-format dviprint-to-format "e" to))) | |
1459 ) | |
72 | 1460 (setq |
1461 cmd | |
1462 (YaTeX-replace-format | |
1463 cmd "p" | |
1464 (cdr (assoc (YaTeX-get-paper-type) YaTeX-dvips-paper-option-alist)))) | |
51 | 1465 (setq cmd |
1466 (read-string-with-history | |
1467 "Edit command line: " | |
53
5f4b18da14b3
Fix functions relating YaTeX-beginning-of-environment or
yuuji
parents:
52
diff
changeset
|
1468 (format cmd |
5f4b18da14b3
Fix functions relating YaTeX-beginning-of-environment or
yuuji
parents:
52
diff
changeset
|
1469 (if (get 'dvi2-command 'region) |
5f4b18da14b3
Fix functions relating YaTeX-beginning-of-environment or
yuuji
parents:
52
diff
changeset
|
1470 (substring YaTeX-texput-file |
5f4b18da14b3
Fix functions relating YaTeX-beginning-of-environment or
yuuji
parents:
52
diff
changeset
|
1471 0 (rindex YaTeX-texput-file ?.)) |
5f4b18da14b3
Fix functions relating YaTeX-beginning-of-environment or
yuuji
parents:
52
diff
changeset
|
1472 (YaTeX-get-preview-file-name))) |
51 | 1473 'YaTeX-lpr-command-history)) |
1474 (save-excursion | |
1475 (YaTeX-visit-main t) ;;change execution directory | |
52 | 1476 (setq dir default-directory) |
51 | 1477 (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
|
1478 lbuffer 'YaTeX-showup-buffer-bottom-most) |
51 | 1479 (set-buffer (get-buffer-create lbuffer)) |
1480 (erase-buffer) | |
52 | 1481 (cd dir) ;for 19 |
51 | 1482 (cond |
64 | 1483 ((not (fboundp 'start-process)) |
51 | 1484 (call-process shell-file-name "con" "*dvi-printing*" nil |
1485 YaTeX-shell-command-option cmd)) | |
1486 (t | |
1487 (set-process-buffer | |
86 | 1488 (let ((process-connection-type nil)) |
1489 (start-process "print" "*dvi-printing*" shell-file-name | |
1490 YaTeX-shell-command-option cmd)) | |
51 | 1491 (get-buffer lbuffer)) |
69 | 1492 (message "Starting printing command: %s..." cmd)))))) |
51 | 1493 |
1494 (defun YaTeX-main-file-p () | |
1495 "Return if current buffer is main LaTeX source." | |
1496 (cond | |
52 | 1497 (YaTeX-parent-file |
1498 (eq (get-file-buffer YaTeX-parent-file) (current-buffer))) | |
51 | 1499 ((YaTeX-get-builtin "!") |
70 | 1500 (string-match |
1501 (concat "^" (YaTeX-guess-parent (YaTeX-get-builtin "!"))) | |
1502 (buffer-name))) | |
51 | 1503 (t |
1504 (save-excursion | |
57 | 1505 (let ((latex-main-id |
1506 (concat "^\\s *" YaTeX-ec-regexp "document\\(style\\|class\\)"))) | |
51 | 1507 (or (re-search-backward latex-main-id nil t) |
69 | 1508 (re-search-forward latex-main-id nil t))))))) |
51 | 1509 |
1510 (defun YaTeX-visit-main (&optional setbuf) | |
1511 "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
|
1512 Use set-buffer instead of switch-to-buffer if the optional argument |
51 | 1513 SETBUF is t(Use it only from Emacs-Lisp program)." |
1514 (interactive "P") | |
1515 (if (and (interactive-p) setbuf) (setq YaTeX-parent-file nil)) | |
70 | 1516 (let ((ff (function (lambda (f) |
1517 (if setbuf (set-buffer (find-file-noselect f)) | |
1518 (find-file f))))) | |
325
2561570d7194
evince usage; YaTeX-parent-file handling:
HIROSE Yuuji <yuuji@gentei.org>
parents:
294
diff
changeset
|
1519 b-in main-file mfa YaTeX-create-file-prefix-g |
70 | 1520 (hilit-auto-highlight (not setbuf))) |
51 | 1521 (if (setq b-in (YaTeX-get-builtin "!")) |
1522 (setq main-file (YaTeX-guess-parent b-in))) | |
1523 (if YaTeX-parent-file | |
1524 (setq main-file ;;(get-file-buffer YaTeX-parent-file) | |
1525 YaTeX-parent-file)) | |
1526 (if (YaTeX-main-file-p) | |
1527 (if (interactive-p) (message "I think this is main LaTeX source.") nil) | |
1528 (cond | |
70 | 1529 ((and ;;(interactive-p) |
1530 main-file | |
1531 (cond ((get-file-buffer main-file) | |
1532 (cond | |
1533 (setbuf (set-buffer (get-file-buffer main-file))) | |
1534 ((get-buffer-window (get-file-buffer main-file)) | |
1535 (select-window | |
1536 (get-buffer-window (get-file-buffer main-file)))) | |
1537 (t (switch-to-buffer (get-file-buffer main-file))))) | |
1538 ((file-exists-p main-file) | |
1539 (funcall ff main-file))))) | |
1540 ;;((and main-file (YaTeX-switch-to-buffer main-file setbuf))) | |
51 | 1541 ((and main-file |
1542 (file-exists-p (setq main-file (concat "../" main-file))) | |
80 | 1543 (or b-in |
325
2561570d7194
evince usage; YaTeX-parent-file handling:
HIROSE Yuuji <yuuji@gentei.org>
parents:
294
diff
changeset
|
1544 (y-or-n-p (concat (setq mfa (expand-file-name main-file)) |
80 | 1545 " is main file?:")))) |
325
2561570d7194
evince usage; YaTeX-parent-file handling:
HIROSE Yuuji <yuuji@gentei.org>
parents:
294
diff
changeset
|
1546 (setq YaTeX-parent-file mfa) |
70 | 1547 ;(YaTeX-switch-to-buffer main-file setbuf) |
1548 (funcall ff main-file) | |
1549 ) | |
51 | 1550 (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
|
1551 (setq YaTeX-parent-file (expand-file-name main-file)) |
70 | 1552 ; (YaTeX-switch-to-buffer main-file setbuf)) |
1553 (funcall ff main-file)) | |
51 | 1554 ))) |
69 | 1555 nil) |
51 | 1556 |
1557 (defun YaTeX-guess-parent (command-line) | |
1558 (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
|
1559 (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
|
1560 (substring command-line (match-beginning 1)) |
51 | 1561 (file-name-nondirectory (buffer-file-name))) |
1562 command-line | |
1563 (concat (if (string-match "\\(.*\\)\\." command-line) | |
1564 (substring command-line (match-beginning 1) (match-end 1)) | |
1565 command-line) | |
69 | 1566 ".tex"))) |
51 | 1567 |
1568 (defun YaTeX-visit-main-other-window () | |
1569 "Switch to buffer main LaTeX source in other window." | |
1570 (interactive) | |
1571 (if (YaTeX-main-file-p) (message "I think this is main LaTeX source.") | |
1572 (YaTeX-switch-to-buffer-other-window | |
69 | 1573 (concat (YaTeX-get-preview-file-name) ".tex")))) |
51 | 1574 |
1575 (defun YaTeX-save-buffers () | |
60
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1576 "Save buffers whose major-mode is equal to current major-mode." |
51 | 1577 (basic-save-buffer) |
60
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1578 (let ((cmm major-mode)) |
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1579 (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
|
1580 (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
|
1581 (lambda (buf) |
60
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1582 (set-buffer buf) |
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1583 (if (and (buffer-file-name buf) |
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1584 (eq major-mode cmm) |
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1585 (buffer-modified-p buf) |
9e08ed569d80
yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents:
59
diff
changeset
|
1586 (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
|
1587 (save-buffer buf)))) |
69 | 1588 (buffer-list))))) |
51 | 1589 |
1590 (provide 'yatexprc) |