annotate yatexprc.el @ 49:eb0512bfcb7f

Abolish user-article table. Use normal read-string instead. Supply smart add-in function for documentstyle. Update user dictionary whenever new words entered. Enhance [prefix] c. Allow user defined sectioning commands in yatexsec.
author yuuji
date Fri, 25 Nov 1994 08:26:13 +0000
parents d7e7b4654058
children b0371b6ed799
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
1 ;;; -*- Emacs-Lisp -*-
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
2 ;;; YaTeX process handler.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
3 ;;; yatexprc.el
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
4 ;;; (c )1993-1994 by HIROSE Yuuji.[yuuji@ae.keio.ac.jp]
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
5 ;;; Last modified Fri Nov 25 03:31:46 1994 on VFR
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
6 ;;; $Id$
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
7
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
8 (require 'yatex)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
9
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
10 (defvar YaTeX-typeset-process nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
11 "Process identifier for jlatex"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
12 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
13 (defvar YaTeX-typeset-buffer "*YaTeX-typesetting*"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
14 "Process buffer for jlatex")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
15
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
16 (defvar YaTeX-typeset-buffer-syntax nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
17 "*Syntax table for typesetting buffer")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
18
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
19 (defvar YaTeX-current-TeX-buffer nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
20 "Keeps the buffer on which recently typeset run.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
21
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
22 (defvar YaTeX-shell-command-option
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
23 (or (and (boundp 'shell-command-option) shell-command-option)
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
24 (if YaTeX-dos "/c" "-c"))
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
25 "Shell option for command execution.")
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
26
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
27 (if YaTeX-typeset-buffer-syntax nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
28 (setq YaTeX-typeset-buffer-syntax
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
29 (make-syntax-table (standard-syntax-table)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
30 (modify-syntax-entry ?\{ "w" YaTeX-typeset-buffer-syntax)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
31 (modify-syntax-entry ?\} "w" YaTeX-typeset-buffer-syntax)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
32 (modify-syntax-entry ?\[ "w" YaTeX-typeset-buffer-syntax)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
33 (modify-syntax-entry ?\] "w" YaTeX-typeset-buffer-syntax)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
34 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
35
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
36 (defun YaTeX-typeset (command buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
37 "Execute jlatex (or other) to LaTeX typeset."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
38 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
39 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
40 (let ((p (point)) (window (selected-window)) execdir)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
41 (if (and YaTeX-typeset-process
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
42 (eq (process-status YaTeX-typeset-process) 'run))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
43 ;; if tex command is halting.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
44 (YaTeX-kill-typeset-process YaTeX-typeset-process))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
45 (YaTeX-visit-main t);;execution directory
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
46 (setq execdir default-directory)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
47 ;;Select lower-most window if there are more than 2 windows and
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
48 ;;typeset buffer not seen.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
49 (YaTeX-showup-buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
50 buffer (function (lambda (x) (nth 3 (window-edges x)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
51 (set-buffer (get-buffer-create buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
52 (setq default-directory execdir)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
53 (cd execdir)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
54 (erase-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
55 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
56 (YaTeX-dos ;if MS-DOS
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
57 (YaTeX-put-nonstopmode)
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
58 (call-process
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
59 shell-file-name nil buffer nil YaTeX-shell-command-option command)
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
60 (YaTeX-remove-nonstopmode))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
61 (t ;if UNIX
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
62 (set-process-buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
63 (setq YaTeX-typeset-process
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
64 (start-process "LaTeX" buffer shell-file-name
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
65 YaTeX-shell-command-option command))
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
66 (get-buffer buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
67 (set-process-sentinel YaTeX-typeset-process 'YaTeX-typeset-sentinel)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
68 (message (format "Calling `%s'..." command))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
69 (setq YaTeX-current-TeX-buffer (buffer-name))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
70 (use-local-map YaTeX-typesetting-mode-map)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
71 (set-syntax-table YaTeX-typeset-buffer-syntax)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
72 (setq mode-name "typeset")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
73 (if YaTeX-typeset-process ; if process is running (maybe on UNIX)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
74 (cond ((boundp 'MULE)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
75 (set-current-process-coding-system
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
76 YaTeX-latex-message-code YaTeX-coding-system))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
77 ((boundp 'NEMACS)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
78 (set-kanji-process-code YaTeX-latex-message-code))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
79 (if YaTeX-dos (message "Done.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
80 (insert " ")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
81 (set-marker (process-mark YaTeX-typeset-process) (1- (point))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
82 (if (bolp) (forward-line -1)) ;what for?
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
83 (if YaTeX-emacs-19
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
84 (let ((win (get-buffer-window buffer t)) owin)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
85 (select-frame (window-frame win))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
86 (setq owin (selected-window))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
87 (select-window win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
88 (goto-char (point-max))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
89 (recenter -1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
90 (select-window owin))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
91 (select-window (get-buffer-window buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
92 (goto-char (point-max))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
93 (recenter -1))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
94 (select-window window)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
95 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
96
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
97 (defun YaTeX-typeset-sentinel (proc mes)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
98 (cond ((null (buffer-name (process-buffer proc)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
99 ;; buffer killed
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
100 (set-process-buffer proc nil))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
101 ((memq (process-status proc) '(signal exit))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
102 (let* ((obuf (current-buffer)) (pbuf (process-buffer proc))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
103 (pwin (get-buffer-window pbuf))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
104 (owin (selected-window)) win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
105 ;; save-excursion isn't the right thing if
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
106 ;; process-buffer is current-buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
107 (unwind-protect
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
108 (progn
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
109 ;; Write something in *typesetting* and hack its mode line
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
110 (if pwin
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
111 (select-window pwin)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
112 (set-buffer pbuf))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
113 ;;(YaTeX-showup-buffer pbuf nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
114 (goto-char (point-max))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
115 (if pwin (recenter -3))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
116 (insert ?\n "latex typesetting " mes)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
117 (forward-char -1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
118 (insert " at " (substring (current-time-string) 0 -5) "\n")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
119 (forward-char 1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
120 (setq mode-line-process
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
121 (concat ": "
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
122 (symbol-name (process-status proc))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
123 (message "latex typesetting %s."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
124 (if (eq (process-status proc) 'exit)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
125 "done" "ceased"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
126 ;; If buffer and mode line shows that the process
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
127 ;; is dead, we can delete it now. Otherwise it
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
128 ;; will stay around until M-x list-processes.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
129 (delete-process proc)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
130 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
131 (setq YaTeX-typesetting-process nil)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
132 ;; Force mode line redisplay soon
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
133 (set-buffer-modified-p (buffer-modified-p))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
134 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
135 (select-window owin)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
136 (set-buffer obuf))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
137 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
138
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
139 (defvar YaTeX-texput-file "texput.tex"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
140 "*File name for temporary file of typeset-region."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
141 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
142
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
143 (defun YaTeX-typeset-region ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
144 "Paste the region to the file `texput.tex' and execute jlatex (or other)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
145 to LaTeX typeset. The region is specified by the rule:
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
146 (1)If keyword `%#BEGIN' is found in the upper direction from (point).
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
147 (1-1)if the keyword `%#END' is found after `%#BEGIN',
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
148 ->Assume the text between `%#BEGIN' and `%#END' as region.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
149 (1-2)if the keyword `%#END' is not found anywhere after `%#BEGIN',
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
150 ->Assume the text after `%#BEGIN' as region.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
151 (2)If no `%#BEGIN' usage is found before the (point),
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
152 ->Assume the text between current (point) and (mark) as region.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
153 DON'T forget to eliminate the `%#BEGIN/%#END' notation after editing
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
154 operation to the region."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
155 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
156 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
157 (let*
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
158 ((end "") typeout ;Type out message that tells the method of cutting.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
159 (cmd (concat (YaTeX-get-latex-command nil) " " YaTeX-texput-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
160 (buffer (current-buffer)) opoint preamble (subpreamble "") main
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
161 (hilit-auto-highlight nil) ;for Emacs19 with hilit19
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
162 reg-begin reg-end)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
163
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
164 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
165 (if (search-backward "%#BEGIN" nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
166 (progn
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
167 (setq typeout "--- Region from BEGIN to "
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
168 end "the end of the buffer ---"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
169 reg-begin (match-end 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
170 (if (search-forward "%#END" nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
171 (setq reg-end (match-beginning 0)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
172 end "END ---")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
173 (setq reg-end (point-max))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
174 (setq typeout "=== Region from (point) to (mark) ===")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
175 (setq reg-begin (point) reg-end (mark)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
176 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
177 (while (search-forward "%#REQUIRE" nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
178 (setq subpreamble
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
179 (concat subpreamble
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
180 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
181 ((eolp)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
182 (buffer-substring
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
183 (match-beginning 0)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
184 (point-beginning-of-line)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
185 (t (buffer-substring
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
186 (match-end 0)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
187 (point-end-of-line))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
188 "\n"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
189 (goto-char (match-end 0))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
190 (YaTeX-visit-main t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
191 (setq main (current-buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
192 (setq opoint (point))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
193 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
194 (setq
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
195 preamble
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
196 (if (re-search-forward "^[ ]*\\\\begin.*{document}" nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
197 (buffer-substring (point-min) (match-end 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
198 (concat "\\documentstyle{" YaTeX-default-document-style "}\n"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
199 "\\begin{document}")))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
200 (goto-char opoint)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
201 ;;(set-buffer buffer) ;for clarity
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
202 (set-buffer (find-file-noselect YaTeX-texput-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
203 ;;(find-file YaTeX-texput-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
204 (erase-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
205 (if YaTeX-need-nonstop
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
206 (insert "\\nonstopmode{}\n"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
207 (insert preamble "\n" subpreamble "\n")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
208 (insert-buffer-substring buffer reg-begin reg-end)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
209 (insert "\\typeout{" typeout end "}\n") ;Notice the selected method.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
210 (insert "\n\\end{document}\n")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
211 (basic-save-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
212 (kill-buffer (current-buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
213 (set-buffer main) ;return to parent file or itself.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
214 (YaTeX-typeset cmd YaTeX-typeset-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
215 (switch-to-buffer buffer) ;for Emacs-19
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
216 (put 'dvi2-command 'region t)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
217 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
218
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
219 (defun YaTeX-typeset-buffer ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
220 "Typeset whole buffer. If %#! usage says other buffer is main text,
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
221 visit main buffer to confirm if its includeonly list contains current
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
222 buffer's file. And if it doesn't contain editing text, ask user which
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
223 action wants to be done, A:Add list, R:Replace list, %:comment-out list."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
224 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
225 (YaTeX-save-buffers)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
226 (let*((me (substring (buffer-name) 0 (rindex (buffer-name) ?.)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
227 (mydir (file-name-directory (buffer-file-name)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
228 (cmd (YaTeX-get-latex-command t)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
229 (if (YaTeX-main-file-p) nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
230 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
231 (YaTeX-visit-main t) ;search into main buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
232 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
233 (push-mark (point) t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
234 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
235 (if (and (re-search-forward "^[ ]*\\\\begin{document}" nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
236 (re-search-backward "^[ ]*\\\\includeonly{" nil t))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
237 (let*
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
238 ((b (progn (skip-chars-forward "^{") (point)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
239 (e (progn (skip-chars-forward "^}") (1+ (point))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
240 (s (buffer-substring b e)) c
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
241 (pardir (file-name-directory (buffer-file-name))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
242 (if (string-match (concat "[{,/]" me "[,}]") s)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
243 nil ; Nothing to do when it's already in includeonly.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
244 (ding)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
245 (switch-to-buffer (current-buffer));Display this buffer.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
246 (setq
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
247 me ;;Rewrite my name(me) to contain sub directory name.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
248 (concat
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
249 (if (string-match pardir mydir) ;if mydir is child of main
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
250 (substring mydir (length pardir)) ;cut absolute path
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
251 mydir) ;else concat absolute path name.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
252 me))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
253 (message
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
254 "`%s' is not in \\includeonly. A)dd R)eplace %%)comment? "
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
255 me)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
256 (setq c (read-char))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
257 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
258 ((= c ?a)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
259 (goto-char (1+ b))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
260 (insert me (if (string= s "{}") "" ",")))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
261 ((= c ?r)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
262 (delete-region (1+ b) (1- e)) (insert me))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
263 ((= c ?%)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
264 (beginning-of-line) (insert "%"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
265 (t nil))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
266 (basic-save-buffer))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
267 (exchange-point-and-mark))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
268 ))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
269 (YaTeX-typeset cmd YaTeX-typeset-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
270 (put 'dvi2-command 'region nil))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
271 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
272
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
273 (defvar YaTeX-call-command-history nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
274 "Holds history list of YaTeX-call-command-on-file.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
275 (put 'YaTeX-call-command-history 'no-default t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
276 (defun YaTeX-call-command-on-file (base-cmd buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
277 (YaTeX-save-buffers)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
278 (YaTeX-typeset
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
279 (let ((minibufer-history-symbol 'YaTeX-call-command-history))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
280 (read-string "Call command: "
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
281 (concat base-cmd " " (YaTeX-get-preview-file-name))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
282 buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
283 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
284
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
285 (defun YaTeX-bibtex-buffer (cmd)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
286 "Pass the bibliography data of editing file to bibtex."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
287 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
288 (YaTeX-save-buffers)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
289 (YaTeX-call-command-on-file cmd "*YaTeX-bibtex*" )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
290 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
291
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
292 (defun YaTeX-kill-typeset-process (proc)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
293 "Kill process PROC after sending signal to PROC.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
294 PROC should be process identifier."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
295 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
296 (YaTeX-dos
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
297 (error "MS-DOS can't have concurrent process."))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
298 ((or (null proc) (not (eq (process-status proc) 'run)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
299 (error "No typesetting process."))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
300 (t (interrupt-process proc)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
301 (delete-process proc)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
302 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
303
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
304 (defun YaTeX-system (command buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
305 "Execute some command on buffer. Not a official function."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
306 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
307 (YaTeX-showup-buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
308 buffer (function (lambda (x) (nth 3 (window-edges x)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
309 (set-buffer (get-buffer-create buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
310 (erase-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
311 (if YaTeX-dos
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
312 (call-process
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
313 shell-file-name nil buffer nil YaTeX-shell-command-option command)
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
314 (set-process-buffer
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
315 (start-process
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
316 "system" buffer shell-file-name YaTeX-shell-command-option command)
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
317 (get-buffer buffer))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
318 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
319
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
320 (defvar YaTeX-preview-command-history nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
321 "Holds minibuffer history of preview command.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
322 (put 'YaTeX-preview-command-history 'no-default t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
323 (defvar YaTeX-preview-file-history nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
324 "Holds minibuffer history of file to preview.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
325 (put 'YaTeX-preview-file-history 'no-default t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
326 (defun YaTeX-preview (preview-command preview-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
327 "Execute xdvi (or other) to tex-preview."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
328 (interactive
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
329 (list
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
330 (let ((minibuffer-history-symbol 'YaTeX-preview-command-history))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
331 (read-string "Preview command: " dvi2-command))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
332 (let ((minibuffer-history-symbol 'YaTeX-preview-file-history))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
333 (read-string "Preview file[.dvi]: "
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
334 (if (get 'dvi2-command 'region)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
335 (substring YaTeX-texput-file
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
336 0 (rindex YaTeX-texput-file ?.))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
337 (YaTeX-get-preview-file-name))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
338 ))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
339 (setq dvi2-command preview-command) ;`dvi2command' is buffer local
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
340 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
341 (YaTeX-visit-main t)
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
342 (let ((pbuffer "*dvi-preview*") (dir default-directory))
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
343 (YaTeX-showup-buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
344 pbuffer (function (lambda (x) (nth 3 (window-edges x)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
345 (set-buffer (get-buffer-create pbuffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
346 (erase-buffer)
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
347 (setq default-directory dir) ;for 18
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
348 (cd dir) ;for 19
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
349 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
350 (YaTeX-dos ;if MS-DOS
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
351 (send-string-to-terminal "\e[2J\e[>5h") ;CLS & hide cursor
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
352 (call-process shell-file-name "con" "*dvi-preview*" nil
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
353 YaTeX-shell-command-option preview-command preview-file)
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
354 (send-string-to-terminal "\e[>5l") ;show cursor
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
355 (redraw-display))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
356 (t ;if UNIX
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
357 (set-process-buffer
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
358 (start-process "preview" "*dvi-preview*" shell-file-name
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
359 YaTeX-shell-command-option
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
360 (concat preview-command " " preview-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
361 (get-buffer pbuffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
362 (message
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
363 (concat "Starting " preview-command
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
364 " to preview " preview-file))))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
365 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
366
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
367 (defun YaTeX-prev-error ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
368 "Visit previous typeset error.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
369 To avoid making confliction of line numbers by editing, jump to
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
370 error or warning lines in reverse order."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
371 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
372 (let ((cur-buf (buffer-name)) (cur-win (selected-window))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
373 error-line typeset-win error-buffer error-win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
374 (if (null (get-buffer YaTeX-typeset-buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
375 (error "There is no typesetting buffer."))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
376 (YaTeX-showup-buffer YaTeX-typeset-buffer nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
377 (setq typeset-win (selected-window))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
378 (if (re-search-backward
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
379 (concat "\\(" latex-error-regexp "\\)\\|\\("
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
380 latex-warning-regexp "\\)")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
381 nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
382 nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
383 (select-window cur-win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
384 (error "No more erros on %s" cur-buf))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
385 (goto-char (match-beginning 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
386 (skip-chars-forward "^0-9" (match-end 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
387 (setq error-line
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
388 (string-to-int
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
389 (buffer-substring
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
390 (point)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
391 (progn (skip-chars-forward "0-9" (match-end 0)) (point))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
392 error-buffer (YaTeX-get-error-file cur-buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
393 error-win (get-buffer-window error-buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
394 (if (or (null error-line) (equal 0 error-line))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
395 (error "Can't detect error position."))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
396 (select-window cur-win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
397 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
398 (error-win (select-window error-win))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
399 ((eq (get-lru-window) typeset-win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
400 (YaTeX-switch-to-buffer error-buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
401 (t (select-window (get-lru-window))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
402 (YaTeX-switch-to-buffer error-buffer)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
403 (setq error-win (selected-window))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
404 (goto-line error-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
405 (message "LaTeX %s in `%s' on line: %d."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
406 (if (match-beginning 1) "error" "warning")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
407 error-buffer error-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
408 (select-window typeset-win)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
409 (skip-chars-backward "0-9")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
410 (recenter (/ (window-height) 2))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
411 (sit-for 3)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
412 (goto-char (match-beginning 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
413 (select-window error-win))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
414 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
415
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
416 (defun YaTeX-jump-error-line ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
417 "Jump to corresponding line on latex command's error message."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
418 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
419 (let (error-line error-file error-buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
420 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
421 (beginning-of-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
422 (setq error-line (re-search-forward "l[ ines]*\\.?\\([1-9][0-9]*\\)"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
423 (point-end-of-line) t)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
424 (if (null error-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
425 (if (eobp) (insert (this-command-keys))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
426 (error "No line number expression."))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
427 (goto-char (match-beginning 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
428 (setq error-line (string-to-int
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
429 (buffer-substring (match-beginning 1) (match-end 1)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
430 error-file (YaTeX-get-error-file YaTeX-current-TeX-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
431 error-buf (YaTeX-switch-to-buffer error-file t))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
432 (if (null error-buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
433 (error "`%s' is not found in this directory." error-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
434 (YaTeX-showup-buffer error-buf nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
435 (goto-line error-line)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
436 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
437
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
438 (defun YaTeX-send-string ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
439 "Send string to current typeset process."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
440 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
441 (if (and (eq (process-status YaTeX-typeset-process) 'run)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
442 (>= (point) (process-mark YaTeX-typeset-process)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
443 (let ((b (process-mark YaTeX-typeset-process))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
444 (e (point-end-of-line)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
445 (goto-char b)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
446 (skip-chars-forward " \t" e)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
447 (setq b (point))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
448 (process-send-string
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
449 YaTeX-typeset-process (concat (buffer-substring b e) "\n"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
450 (goto-char e)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
451 (insert "\n")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
452 (set-marker (process-mark YaTeX-typeset-process) (point))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
453 (insert " "))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
454 (ding))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
455 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
456
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
457 (defun YaTeX-view-error ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
458 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
459 (if (null (get-buffer YaTeX-typeset-buffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
460 (message "No typeset buffer found.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
461 (let ((win (selected-window)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
462 (YaTeX-showup-buffer YaTeX-typeset-buffer nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
463 ;; Next 3 lines are obsolete because YaTeX-typesetting-buffer is
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
464 ;; automatically scrolled up at typesetting.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
465 ;;(goto-char (point-max))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
466 ;;(forward-line -1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
467 ;;(recenter -1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
468 (select-window win)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
469 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
470
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
471 (defun YaTeX-get-error-file (default)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
472 "Get current processing file from typesetting log."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
473 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
474 (let(s)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
475 (condition-case () (up-list -1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
476 (error
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
477 (let ((list 0) found)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
478 (while
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
479 (and (<= list 0) (not found)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
480 (re-search-backward "\\((\\)\\|\\()\\)" nil t))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
481 (if (equal (match-beginning 0) (match-beginning 2)) ;close paren.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
482 (setq list (1- list)) ;open paren
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
483 (setq list (1+ list))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
484 (if (= list 1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
485 (if (looking-at "\\([^,{}%]+\.\\)tex\\|sty")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
486 (setq found t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
487 (setq list (1- list)))))))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
488 (setq s
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
489 (buffer-substring
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
490 (progn (forward-char 1) (point))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
491 (progn (skip-chars-forward "-A-Za-z0-9_/\.\\" (point-end-of-line))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
492 (point))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
493 (if (string= "" s) default s)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
494 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
495
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
496 (defun YaTeX-put-nonstopmode ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
497 (if YaTeX-need-nonstop
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
498 (if (re-search-backward "\\\\nonstopmode{}" (point-min) t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
499 nil ;if already written in text then do nothing
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
500 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
501 (YaTeX-visit-main t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
502 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
503 (insert "\\nonstopmode{}%_YaTeX_%\n")))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
504 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
505 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
506
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
507 (defun YaTeX-remove-nonstopmode ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
508 (if YaTeX-need-nonstop ;for speed
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
509 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
510 (YaTeX-visit-main t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
511 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
512 (forward-line 1)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
513 (narrow-to-region (point-min) (point))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
514 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
515 (delete-matching-lines "^\\\\nonstopmode\\{\\}%_YaTeX_%$")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
516 (widen)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
517 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
518
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
519 (defun YaTeX-get-preview-file-name ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
520 "Get file name to preview by inquiring YaTeX-get-latex-command"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
521 (let* ((latex-cmd (YaTeX-get-latex-command t))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
522 (rin (rindex latex-cmd ? ))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
523 (fname (if (> rin -1) (substring latex-cmd (1+ rin)) ""))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
524 (period))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
525 (if (string= fname "")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
526 (setq fname (substring (file-name-nondirectory
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
527 (buffer-file-name))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
528 0 -4))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
529 (setq period (rindex fname ?.))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
530 (setq fname (substring fname 0 (if (eq -1 period) nil period)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
531 ))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
532 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
533
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
534 (defun YaTeX-get-latex-command (&optional switch)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
535 "Specify the latex-command name and its argument.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
536 If there is a line which begins with string: \"%#!\", the following
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
537 strings are assumed to be the latex-command and arguments. The
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
538 default value of latex-command is:
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
539 tex-command FileName
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
540 and if you write \"%#!jlatex\" in the beginning of certain line.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
541 \"jlatex \" FileName
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
542 will be the latex-command,
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
543 and you write \"%#!jlatex main.tex\" on some line and argument SWITCH
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
544 is non-nil, then
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
545 \"jlatex main.tex\"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
546
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
547 will be given to the shell."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
548 (let (magic command target)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
549 (setq parent
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
550 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
551 (YaTeX-parent-file YaTeX-parent-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
552 (t (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
553 (YaTeX-visit-main t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
554 (file-name-nondirectory (buffer-file-name)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
555 magic (YaTeX-get-builtin "!"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
556 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
557 (magic
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
558 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
559 (switch (if (string-match "\\s " magic) magic
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
560 (concat magic " " parent)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
561 (t (concat (substring magic 0 (string-match "\\s " magic)) " "))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
562 (t (concat tex-command " " (if switch parent)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
563 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
564
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
565 (defvar YaTeX-lpr-command-history nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
566 "Holds command line history of YaTeX-lpr.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
567 (put 'YaTeX-lpr-command-history 'no-default t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
568 (defun YaTeX-lpr (arg)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
569 "Print out. If prefix arg ARG is non nil, call print driver without
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
570 page range description."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
571 (interactive "P")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
572 (let*((cmd (or (YaTeX-get-builtin "LPR") dviprint-command-format))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
573 from to (lbuffer "*dvi-printing*"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
574 (setq
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
575 cmd
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
576 (YaTeX-replace-format
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
577 cmd "f"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
578 (if (or arg (not (string-match "%f" cmd)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
579 ""
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
580 (YaTeX-replace-format
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
581 dviprint-from-format
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
582 "b"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
583 (if (string=
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
584 (setq from (read-string "From page(default 1): ")) "")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
585 "1" from))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
586 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
587 (setq
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
588 cmd
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
589 (YaTeX-replace-format
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
590 cmd "t"
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
591 (if (or arg (not (string-match "%t" cmd))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
592 (string=
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
593 (setq to (read-string "To page(default none): ")) ""))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
594 ""
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
595 (YaTeX-replace-format dviprint-to-format "e" to)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
596 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
597 (setq cmd
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
598 (let ((minibuffer-history-symbol 'YaTeX-lpr-command-history))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
599 (read-string "Edit command line: "
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
600 (format cmd (YaTeX-get-preview-file-name)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
601 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
602 (YaTeX-visit-main t) ;;change execution directory
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
603 (YaTeX-showup-buffer
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
604 lbuffer (function (lambda (x) (nth 3 (window-edges x)))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
605 (set-buffer (get-buffer-create lbuffer))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
606 (erase-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
607 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
608 (YaTeX-dos
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
609 (call-process shell-file-name "con" "*dvi-printing*" nil
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
610 YaTeX-shell-command-option cmd))
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
611 (t
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
612 (set-process-buffer
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
613 (start-process "print" "*dvi-printing*" shell-file-name
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
614 YaTeX-shell-command-option cmd)
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
615 (get-buffer lbuffer))
49
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
616 (message "Starting printing command: %s..." cmd)))
eb0512bfcb7f Abolish user-article table.
yuuji
parents: 47
diff changeset
617 ))
47
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
618 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
619
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
620 (defun YaTeX-main-file-p ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
621 "Return if current buffer is main LaTeX source."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
622 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
623 ((YaTeX-get-builtin "!")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
624 (string-match (YaTeX-guess-parent (YaTeX-get-builtin "!")) (buffer-name)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
625 (t
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
626 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
627 (let ((latex-main-id (concat "^\\s *" YaTeX-ec-regexp "documentstyle")))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
628 (or (re-search-backward latex-main-id nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
629 (re-search-forward latex-main-id nil t))))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
630 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
631
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
632 (defun YaTeX-visit-main (&optional setbuf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
633 "Switch buffer to main LaTeX source.
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
634 Use set-buffer instead of switch-to-buffer if the optional second argument
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
635 SETBUF is t(Use it only from Emacs-Lisp program)."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
636 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
637 (let (b-in main-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
638 (if (setq b-in (YaTeX-get-builtin "!"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
639 (setq main-file (YaTeX-guess-parent b-in)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
640 (if YaTeX-parent-file
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
641 (setq main-file ;;(get-file-buffer YaTeX-parent-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
642 YaTeX-parent-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
643 (if (YaTeX-main-file-p)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
644 (if (interactive-p) (message "I think this is main LaTeX source.") nil)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
645 (cond
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
646 ((and (interactive-p) main-file (get-buffer-window main-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
647 (select-window (get-buffer-window main-file)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
648 ((and main-file (YaTeX-switch-to-buffer main-file setbuf)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
649 ((and main-file
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
650 (file-exists-p (setq main-file (concat "../" main-file)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
651 (y-or-n-p (concat (expand-file-name main-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
652 " is main file?:")))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
653 (YaTeX-switch-to-buffer main-file setbuf))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
654 (t (setq main-file (read-file-name "Enter your main text: " nil nil 1))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
655 (setq YaTeX-parent-file main-file)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
656 (find-file main-file))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
657 )))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
658 nil
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
659 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
660
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
661
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
662 (defun YaTeX-guess-parent (command-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
663 (setq command-line
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
664 (if (string-match ".*\\s " command-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
665 (substring command-line (match-end 0))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
666 (file-name-nondirectory (buffer-file-name)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
667 command-line
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
668 (concat (if (string-match "\\(.*\\)\\." command-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
669 (substring command-line (match-beginning 1) (match-end 1))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
670 command-line)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
671 ".tex"))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
672 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
673
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
674 (defun YaTeX-visit-main-other-window ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
675 "Switch to buffer main LaTeX source in other window."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
676 (interactive)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
677 (if (YaTeX-main-file-p) (message "I think this is main LaTeX source.")
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
678 (YaTeX-switch-to-buffer-other-window
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
679 (concat (YaTeX-get-preview-file-name) ".tex")))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
680 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
681
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
682 (defun YaTeX-get-builtin (key)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
683 "Read source built-in command of %# usage."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
684 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
685 (goto-char (point-min))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
686 (if (and (re-search-forward
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
687 (concat "^" (regexp-quote (concat "%#" key))) nil t)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
688 (not (eolp)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
689 (buffer-substring
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
690 (progn (skip-chars-forward " " (point-end-of-line))(point))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
691 (point-end-of-line))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
692 nil))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
693 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
694
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
695 (defun YaTeX-save-buffers ()
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
696 "Save buffers which is in yatex-mode."
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
697 (basic-save-buffer)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
698 (save-excursion
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
699 (mapcar '(lambda (buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
700 (set-buffer buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
701 (if (and (buffer-file-name buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
702 (eq major-mode 'yatex-mode)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
703 (buffer-modified-p buf)
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
704 (y-or-n-p (format "Save %s" (buffer-name buf))))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
705 (save-buffer buf)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
706 (buffer-list)))
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
707 )
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
708
d7e7b4654058 Support special popup frame.
yuuji
parents: 46
diff changeset
709 (provide 'yatexprc)

yatex.org