Mercurial > emacs
annotate lisp/textmodes/tex-mode.el @ 14870:c51cef393dae
(timer-set-time): Don't set usecs to nil.
(timer-duration): Return nil if junk at end of string.
Handle just a number--treat it as number of seconds.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Sun, 24 Mar 1996 02:05:38 +0000 |
parents | 20f4c4a078b2 |
children | 21998d33460f |
rev | line source |
---|---|
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1 ;;; tex-mode.el --- TeX, LaTeX, and SliTeX mode commands. |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
2 |
14734 | 3 ;; Copyright (C) 1985, 86, 89, 92, 94, 95, 96 Free Software Foundation, Inc. |
840
113281b361ec
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
814
diff
changeset
|
4 |
10215 | 5 ;; Maintainer: FSF |
814
38b2499cb3e9
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
6 ;; Keywords: tex |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
7 |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
8 ;; Contributions over the years by William F. Schelter, Dick King, |
10215 | 9 ;; Stephen Gildea, Michael Prange, Jacob Gore, and Edward M. Reingold. |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
10 |
85 | 11 ;; This file is part of GNU Emacs. |
12 | |
13 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
14 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
15 ;; the Free Software Foundation; either version 2, or (at your option) |
85 | 16 ;; any later version. |
17 | |
18 ;; GNU Emacs is distributed in the hope that it will be useful, | |
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
21 ;; GNU General Public License for more details. | |
22 | |
23 ;; You should have received a copy of the GNU General Public License | |
14383
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
24 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
25 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
26 ;; Boston, MA 02111-1307, USA. |
85 | 27 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
28 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
29 |
6632
652dc23b83fd
(tex-start-shell): Use shell-mode-map (instead of comint-mode-map) because
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
6479
diff
changeset
|
30 (require 'shell) |
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
31 (require 'compile) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
32 |
957 | 33 ;;;###autoload |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
34 (defvar tex-shell-file-name nil |
7285 | 35 "*If non-nil, the shell file name to run in the subshell used to run TeX.") |
85 | 36 |
957 | 37 ;;;###autoload |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
38 (defvar tex-directory "." |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
39 "*Directory in which temporary files are left. |
7285 | 40 You can make this `/tmp' if your TEXINPUTS has no relative directories in it |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
41 and you don't try to apply \\[tex-region] or \\[tex-buffer] when there are |
7285 | 42 `\\input' commands with relative directories.") |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
43 |
957 | 44 ;;;###autoload |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
45 (defvar tex-offer-save t |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
46 "*If non-nil, ask about saving modified buffers before \\[tex-file] is run.") |
85 | 47 |
957 | 48 ;;;###autoload |
85 | 49 (defvar tex-run-command "tex" |
50 "*Command used to run TeX subjob. | |
7285 | 51 If this string contains an asterisk (`*'), that is replaced by the file name; |
52 otherwise, the file name, preceded by blank, is added at the end.") | |
85 | 53 |
957 | 54 ;;;###autoload |
85 | 55 (defvar latex-run-command "latex" |
56 "*Command used to run LaTeX subjob. | |
7285 | 57 If this string contains an asterisk (`*'), that is replaced by the file name; |
58 otherwise, the file name, preceded by blank, is added at the end.") | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
59 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
60 (defvar standard-latex-block-names |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
61 '("abstract" "array" "center" "description" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
62 "displaymath" "document" "enumerate" "eqnarray" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
63 "eqnarray*" "equation" "figure" "figure*" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
64 "flushleft" "flushright" "itemize" "letter" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
65 "list" "minipage" "picture" "quotation" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
66 "quote" "slide" "sloppypar" "tabbing" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
67 "table" "table*" "tabular" "tabular*" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
68 "thebibliography" "theindex*" "titlepage" "trivlist" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
69 "verbatim" "verbatim*" "verse") |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
70 "Standard LaTeX block names.") |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
71 |
957 | 72 ;;;###autoload |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
73 (defvar latex-block-names nil |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
74 "*User defined LaTeX block names. |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
75 Combined with `standard-latex-block-names' for minibuffer completion.") |
85 | 76 |
957 | 77 ;;;###autoload |
85 | 78 (defvar slitex-run-command "slitex" |
79 "*Command used to run SliTeX subjob. | |
7285 | 80 If this string contains an asterisk (`*'), that is replaced by the file name; |
81 otherwise, the file name, preceded by blank, is added at the end.") | |
85 | 82 |
957 | 83 ;;;###autoload |
85 | 84 (defvar tex-bibtex-command "bibtex" |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
85 "*Command used by `tex-bibtex-file' to gather bibliographic data. |
7285 | 86 If this string contains an asterisk (`*'), that is replaced by the file name; |
87 otherwise, the file name, preceded by blank, is added at the end.") | |
85 | 88 |
957 | 89 ;;;###autoload |
85 | 90 (defvar tex-dvi-print-command "lpr -d" |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
91 "*Command used by \\[tex-print] to print a .dvi file. |
7285 | 92 If this string contains an asterisk (`*'), that is replaced by the file name; |
93 otherwise, the file name, preceded by blank, is added at the end.") | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
94 |
957 | 95 ;;;###autoload |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
96 (defvar tex-alt-dvi-print-command "lpr -d" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
97 "*Command used by \\[tex-print] with a prefix arg to print a .dvi file. |
7285 | 98 If this string contains an asterisk (`*'), that is replaced by the file name; |
99 otherwise, the file name, preceded by blank, is added at the end. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
100 |
7285 | 101 If two printers are not enough of a choice, you can set the variable |
102 `tex-alt-dvi-print-command' to an expression that asks what you want; | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
103 for example, |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
104 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
105 (setq tex-alt-dvi-print-command |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
106 '(format \"lpr -P%s\" (read-string \"Use printer: \"))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
107 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
108 would tell \\[tex-print] with a prefix argument to ask you which printer to |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
109 use.") |
85 | 110 |
957 | 111 ;;;###autoload |
85 | 112 (defvar tex-dvi-view-command nil |
7285 | 113 "*Command used by \\[tex-view] to display a `.dvi' file. |
114 If this string contains an asterisk (`*'), that is replaced by the file name; | |
115 otherwise, the file name, preceded by blank, is added at the end. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
116 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
117 This can be set conditionally so that the previewer used is suitable for the |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
118 window system being used. For example, |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
119 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
120 (setq tex-dvi-view-command |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
121 (if (eq window-system 'x) \"xdvi\" \"dvi2tty * | cat -s\")) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
122 |
7285 | 123 would tell \\[tex-view] to use xdvi under X windows and to use dvi2tty |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
124 otherwise.") |
85 | 125 |
957 | 126 ;;;###autoload |
85 | 127 (defvar tex-show-queue-command "lpq" |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
128 "*Command used by \\[tex-show-print-queue] to show the print queue. |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
129 Should show the queue(s) that \\[tex-print] puts jobs on.") |
85 | 130 |
957 | 131 ;;;###autoload |
85 | 132 (defvar tex-default-mode 'plain-tex-mode |
133 "*Mode to enter for a new file that might be either TeX or LaTeX. | |
134 This variable is used when it can't be determined whether the file | |
135 is plain TeX or LaTeX or what because the file contains no commands. | |
7285 | 136 Normally set to either `plain-tex-mode' or `latex-mode'.") |
85 | 137 |
957 | 138 ;;;###autoload |
85 | 139 (defvar tex-open-quote "``" |
140 "*String inserted by typing \\[tex-insert-quote] to open a quotation.") | |
141 | |
957 | 142 ;;;###autoload |
85 | 143 (defvar tex-close-quote "''" |
144 "*String inserted by typing \\[tex-insert-quote] to close a quotation.") | |
145 | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
146 (defvar tex-last-temp-file nil |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
147 "Latest temporary file generated by \\[tex-region] and \\[tex-buffer]. |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
148 Deleted when the \\[tex-region] or \\[tex-buffer] is next run, or when the |
7285 | 149 tex shell terminates.") |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
150 |
85 | 151 (defvar tex-command nil |
152 "Command to run TeX. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
153 The name of the file, preceded by a blank, will be added to this string.") |
85 | 154 |
155 (defvar tex-trailer nil | |
156 "String appended after the end of a region sent to TeX by \\[tex-region].") | |
157 | |
158 (defvar tex-start-of-header nil | |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
159 "Regular expression used by \\[tex-region] to find start of file's header.") |
85 | 160 |
161 (defvar tex-end-of-header nil | |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
162 "Regular expression used by \\[tex-region] to find end of file's header.") |
85 | 163 |
164 (defvar tex-shell-cd-command "cd" | |
165 "Command to give to shell running TeX to change directory. | |
7285 | 166 The value of `tex-directory' is appended to this, separated by a space.") |
85 | 167 |
168 (defvar tex-zap-file nil | |
169 "Temporary file name used for text being sent as input to TeX. | |
170 Should be a simple file name with no extension or directory specification.") | |
171 | |
172 (defvar tex-last-buffer-texed nil | |
173 "Buffer which was last TeXed.") | |
174 | |
175 (defvar tex-print-file nil | |
176 "File name that \\[tex-print] prints. | |
177 Set by \\[tex-region], \\[tex-buffer], and \\[tex-file].") | |
178 | |
179 (defvar tex-mode-syntax-table nil | |
180 "Syntax table used while in TeX mode.") | |
181 | |
12704
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
182 ;; Written by Wolfgang Bangerth <zcg51122@rpool1.rus.uni-stuttgart.de> |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
183 (defvar latex-imenu-generic-expression |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
184 '( |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
185 ("Part" "\\\\part{\\([^}]*\\)}" 1) |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
186 ("Chapter" "\\\\chapter{\\([^}]*\\)}" 1) |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
187 ("Section" "\\\\[a-zA-Z]*section{\\([^}]*\\)}" 1) |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
188 ;; i put numbers like 3.15 before my |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
189 ;; \begin{equation}'s which tell me |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
190 ;; the number the equation will get when |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
191 ;; being printed. |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
192 ("Equations" "%[ \t]*\\([0-9]+\\.[0-9]+\\)[,;]?[ \t]?" 1)) |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
193 |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
194 "Imenu generic expression for LaTex mode. See `imenu-generic-expression'.") |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
195 |
85 | 196 (defun tex-define-common-keys (keymap) |
7285 | 197 "Define the keys that we want defined both in TeX mode and in the TeX shell." |
85 | 198 (define-key keymap "\C-c\C-k" 'tex-kill-job) |
199 (define-key keymap "\C-c\C-l" 'tex-recenter-output-buffer) | |
200 (define-key keymap "\C-c\C-q" 'tex-show-print-queue) | |
201 (define-key keymap "\C-c\C-p" 'tex-print) | |
202 (define-key keymap "\C-c\C-v" 'tex-view) | |
4900
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
203 |
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
204 (define-key keymap [menu-bar tex] (cons "TeX" (make-sparse-keymap "TeX"))) |
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
205 |
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
206 (define-key keymap [menu-bar tex tex-kill-job] '("Tex Kill" . tex-kill-job)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
207 (define-key keymap [menu-bar tex tex-recenter-output-buffer] |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
208 '("Tex Recenter" . tex-recenter-output-buffer)) |
4900
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
209 (define-key keymap [menu-bar tex tex-show-print-queue] |
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
210 '("Show Print Queue" . tex-show-print-queue)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
211 (define-key keymap [menu-bar tex tex-alt-print] |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
212 '("Tex Print (alt printer)" . tex-alt-print)) |
4900
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
213 (define-key keymap [menu-bar tex tex-print] '("Tex Print" . tex-print)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
214 (define-key keymap [menu-bar tex tex-view] '("Tex View" . tex-view)) |
85 | 215 ) |
216 | |
217 (defvar tex-mode-map nil "Keymap for TeX mode.") | |
218 | |
219 (if tex-mode-map | |
220 nil | |
221 (setq tex-mode-map (make-sparse-keymap)) | |
222 (tex-define-common-keys tex-mode-map) | |
223 (define-key tex-mode-map "\"" 'tex-insert-quote) | |
224 (define-key tex-mode-map "\n" 'tex-terminate-paragraph) | |
225 (define-key tex-mode-map "\C-c}" 'up-list) | |
226 (define-key tex-mode-map "\C-c{" 'tex-insert-braces) | |
227 (define-key tex-mode-map "\C-c\C-r" 'tex-region) | |
228 (define-key tex-mode-map "\C-c\C-b" 'tex-buffer) | |
229 (define-key tex-mode-map "\C-c\C-f" 'tex-file) | |
230 (define-key tex-mode-map "\C-c\C-i" 'tex-bibtex-file) | |
231 (define-key tex-mode-map "\C-c\C-o" 'tex-latex-block) | |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
232 (define-key tex-mode-map "\C-c\C-e" 'tex-close-latex-block) |
7297
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
233 (define-key tex-mode-map "\C-c\C-u" 'tex-goto-last-unclosed-latex-block) |
10296
c58e6bb97038
(tex-mode-map): Add BibTeX File menu item.
Richard M. Stallman <rms@gnu.org>
parents:
10215
diff
changeset
|
234 (define-key tex-mode-map [menu-bar tex tex-bibtex-file] |
c58e6bb97038
(tex-mode-map): Add BibTeX File menu item.
Richard M. Stallman <rms@gnu.org>
parents:
10215
diff
changeset
|
235 '("BibTeX File" . tex-bibtex-file)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
236 (define-key tex-mode-map [menu-bar tex tex-validate-region] |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
237 '("Validate Region" . tex-validate-region)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
238 (define-key tex-mode-map [menu-bar tex validate-tex-buffer] |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
239 '("Validate Buffer" . validate-tex-buffer)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
240 (define-key tex-mode-map [menu-bar tex tex-region] |
10296
c58e6bb97038
(tex-mode-map): Add BibTeX File menu item.
Richard M. Stallman <rms@gnu.org>
parents:
10215
diff
changeset
|
241 '("TeX Region" . tex-region)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
242 (define-key tex-mode-map [menu-bar tex tex-buffer] |
10296
c58e6bb97038
(tex-mode-map): Add BibTeX File menu item.
Richard M. Stallman <rms@gnu.org>
parents:
10215
diff
changeset
|
243 '("TeX Buffer" . tex-buffer)) |
c58e6bb97038
(tex-mode-map): Add BibTeX File menu item.
Richard M. Stallman <rms@gnu.org>
parents:
10215
diff
changeset
|
244 (define-key tex-mode-map [menu-bar tex tex-file] '("TeX File" . tex-file))) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
245 |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
246 (put 'tex-region 'menu-enable 'mark-active) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
247 (put 'tex-validate-region 'menu-enable 'mark-active) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
248 (put 'tex-print 'menu-enable '(stringp tex-print-file)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
249 (put 'tex-alt-print 'menu-enable '(stringp tex-print-file)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
250 (put 'tex-view 'menu-enable '(stringp tex-print-file)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
251 (put 'tex-recenter-output-buffer 'menu-enable '(get-buffer "*tex-shell*")) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
252 (put 'tex-kill-job 'menu-enable '(tex-shell-running)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
253 |
85 | 254 |
255 (defvar tex-shell-map nil | |
7285 | 256 "Keymap for the TeX shell. |
10197
66681eddfd70
Make keymap for tex-shell the shell-mode-map.
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
10190
diff
changeset
|
257 Inherits `shell-mode-map' with a few additions.") |
85 | 258 |
14383
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
259 (defvar tex-face-alist |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
260 '((bold . "{\\bf ") |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
261 (italic . "{\\it ") |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
262 (bold-italic . "{\\bi ") ; hypothetical |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
263 (underline . "\\underline{") |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
264 (default . "{\\rm ")) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
265 "Alist of face and TeX font name for facemenu.") |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
266 |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
267 (defvar tex-latex-face-alist |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
268 `((italic . "{\\em ") |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
269 ,@tex-face-alist) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
270 "Alist of face and LaTeX font name for facemenu.") |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
271 |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
272 |
9450
af39d29d1386
(compare-windows-whitespace): Eliminate initial value.
Richard M. Stallman <rms@gnu.org>
parents:
8890
diff
changeset
|
273 (defvar compare-windows-whitespace) ; Pacify the byte-compiler |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
274 |
85 | 275 ;;; This would be a lot simpler if we just used a regexp search, |
276 ;;; but then it would be too slow. | |
256 | 277 ;;;###autoload |
85 | 278 (defun tex-mode () |
279 "Major mode for editing files of input for TeX, LaTeX, or SliTeX. | |
280 Tries to determine (by looking at the beginning of the file) whether | |
7285 | 281 this file is for plain TeX, LaTeX, or SliTeX and calls `plain-tex-mode', |
282 `latex-mode', or `slitex-mode', respectively. If it cannot be determined, | |
283 such as if there are no commands in the file, the value of `tex-default-mode' | |
284 says which mode to use." | |
85 | 285 (interactive) |
286 (let (mode slash comment) | |
287 (save-excursion | |
288 (goto-char (point-min)) | |
289 (while (and (setq slash (search-forward "\\" nil t)) | |
290 (setq comment (let ((search-end (point))) | |
291 (save-excursion | |
292 (beginning-of-line) | |
293 (search-forward "%" search-end t)))))) | |
294 (if (and slash (not comment)) | |
10325
070c1f54707b
(tex-mode): Recognize \NeedsTeXFormat{LaTeX2e}.
Richard M. Stallman <rms@gnu.org>
parents:
10318
diff
changeset
|
295 (setq mode (if (looking-at "documentstyle\\|documentclass\\|begin\\b\\|NeedsTeXFormat{LaTeX") |
8553
090fb6dea9dd
(tex-mode): Allow for documentclass options when checking for SliTeX.
Richard M. Stallman <rms@gnu.org>
parents:
8474
diff
changeset
|
296 (if (looking-at |
090fb6dea9dd
(tex-mode): Allow for documentclass options when checking for SliTeX.
Richard M. Stallman <rms@gnu.org>
parents:
8474
diff
changeset
|
297 "document\\(style\\|class\\)\\(\\[.*\\]\\)?{slides}") |
85 | 298 'slitex-mode |
299 'latex-mode) | |
300 'plain-tex-mode)))) | |
301 (if mode (funcall mode) | |
302 (funcall tex-default-mode)))) | |
2598
2189edb30955
Removed spurious comment (obsoleted by ;;;###autoload).
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2588
diff
changeset
|
303 |
269 | 304 ;;;###autoload |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
305 (defalias 'TeX-mode 'tex-mode) |
269 | 306 ;;;###autoload |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
307 (defalias 'LaTeX-mode 'latex-mode) |
85 | 308 |
256 | 309 ;;;###autoload |
85 | 310 (defun plain-tex-mode () |
311 "Major mode for editing files of input for plain TeX. | |
312 Makes $ and } display the characters they match. | |
313 Makes \" insert `` when it seems to be the beginning of a quotation, | |
314 and '' when it appears to be the end; it inserts \" only after a \\. | |
315 | |
316 Use \\[tex-region] to run TeX on the current region, plus a \"header\" | |
317 copied from the top of the file (containing macro definitions, etc.), | |
318 running TeX under a special subshell. \\[tex-buffer] does the whole buffer. | |
319 \\[tex-file] saves the buffer and then processes the file. | |
320 \\[tex-print] prints the .dvi file made by any of these. | |
321 \\[tex-view] previews the .dvi file made by any of these. | |
322 \\[tex-bibtex-file] runs bibtex on the file of the current buffer. | |
323 | |
324 Use \\[validate-tex-buffer] to check buffer for paragraphs containing | |
325 mismatched $'s or braces. | |
326 | |
327 Special commands: | |
328 \\{tex-mode-map} | |
329 | |
330 Mode variables: | |
331 tex-run-command | |
332 Command string used by \\[tex-region] or \\[tex-buffer]. | |
333 tex-directory | |
334 Directory in which to create temporary files for TeX jobs | |
335 run by \\[tex-region] or \\[tex-buffer]. | |
336 tex-dvi-print-command | |
337 Command string used by \\[tex-print] to print a .dvi file. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
338 tex-alt-dvi-print-command |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
339 Alternative command string used by \\[tex-print] (when given a prefix |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
340 argument) to print a .dvi file. |
85 | 341 tex-dvi-view-command |
342 Command string used by \\[tex-view] to preview a .dvi file. | |
343 tex-show-queue-command | |
344 Command string used by \\[tex-show-print-queue] to show the print | |
345 queue that \\[tex-print] put your job on. | |
346 | |
7285 | 347 Entering Plain-tex mode runs the hook `text-mode-hook', then the hook |
348 `tex-mode-hook', and finally the hook `plain-tex-mode-hook'. When the | |
349 special subshell is initiated, the hook `tex-shell-hook' is run." | |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
350 |
85 | 351 (interactive) |
352 (tex-common-initialization) | |
353 (setq mode-name "TeX") | |
354 (setq major-mode 'plain-tex-mode) | |
355 (setq tex-command tex-run-command) | |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
356 (setq tex-start-of-header "%\\*\\*start of header") |
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
357 (setq tex-end-of-header "%\\*\\*end of header") |
85 | 358 (setq tex-trailer "\\bye\n") |
359 (run-hooks 'text-mode-hook 'tex-mode-hook 'plain-tex-mode-hook)) | |
269 | 360 ;;;###autoload |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
361 (defalias 'plain-TeX-mode 'plain-tex-mode) |
85 | 362 |
256 | 363 ;;;###autoload |
85 | 364 (defun latex-mode () |
365 "Major mode for editing files of input for LaTeX. | |
366 Makes $ and } display the characters they match. | |
367 Makes \" insert `` when it seems to be the beginning of a quotation, | |
368 and '' when it appears to be the end; it inserts \" only after a \\. | |
369 | |
370 Use \\[tex-region] to run LaTeX on the current region, plus the preamble | |
371 copied from the top of the file (containing \\documentstyle, etc.), | |
372 running LaTeX under a special subshell. \\[tex-buffer] does the whole buffer. | |
373 \\[tex-file] saves the buffer and then processes the file. | |
374 \\[tex-print] prints the .dvi file made by any of these. | |
375 \\[tex-view] previews the .dvi file made by any of these. | |
376 \\[tex-bibtex-file] runs bibtex on the file of the current buffer. | |
377 | |
378 Use \\[validate-tex-buffer] to check buffer for paragraphs containing | |
379 mismatched $'s or braces. | |
380 | |
381 Special commands: | |
382 \\{tex-mode-map} | |
383 | |
384 Mode variables: | |
385 latex-run-command | |
386 Command string used by \\[tex-region] or \\[tex-buffer]. | |
387 tex-directory | |
388 Directory in which to create temporary files for LaTeX jobs | |
389 run by \\[tex-region] or \\[tex-buffer]. | |
390 tex-dvi-print-command | |
391 Command string used by \\[tex-print] to print a .dvi file. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
392 tex-alt-dvi-print-command |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
393 Alternative command string used by \\[tex-print] (when given a prefix |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
394 argument) to print a .dvi file. |
85 | 395 tex-dvi-view-command |
396 Command string used by \\[tex-view] to preview a .dvi file. | |
397 tex-show-queue-command | |
398 Command string used by \\[tex-show-print-queue] to show the print | |
399 queue that \\[tex-print] put your job on. | |
400 | |
7285 | 401 Entering Latex mode runs the hook `text-mode-hook', then |
402 `tex-mode-hook', and finally `latex-mode-hook'. When the special | |
403 subshell is initiated, `tex-shell-hook' is run." | |
85 | 404 (interactive) |
405 (tex-common-initialization) | |
406 (setq mode-name "LaTeX") | |
407 (setq major-mode 'latex-mode) | |
408 (setq tex-command latex-run-command) | |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
409 (setq tex-start-of-header "\\\\documentstyle\\|\\\\documentclass") |
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
410 (setq tex-end-of-header "\\\\begin{document}") |
85 | 411 (setq tex-trailer "\\end{document}\n") |
5425
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
412 ;; A line containing just $$ is treated as a paragraph separator. |
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
413 ;; A line starting with $$ starts a paragraph, |
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
414 ;; but does not separate paragraphs if it has more stuff on it. |
10898
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
415 (setq paragraph-start "[ \t]*$\\|[\f%]\\|[ \t]*\\$\\$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
416 \\\\begin\\>\\|\\\\label\\>\\|\\\\end\\>\\|\\\\\\[\\|\\\\\\]\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
417 \\\\chapter\\>\\|\\\\section\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
418 \\\\subsection\\>\\|\\\\subsubsection\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
419 \\\\paragraph\\>\\|\\\\subparagraph\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
420 \\\\item\\>\\|\\\\bibitem\\>\\|\\\\newline\\>\\|\\\\noindent\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
421 \\\\[a-z]*space\\>\\|\\\\[a-z]*skip\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
422 \\\\newpage\\>\\|\\\\[a-z]*page\\|\\\\footnote\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
423 \\\\marginpar\\>\\|\\\\parbox\\>\\|\\\\caption\\>") |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
424 (setq paragraph-separate "[ \t]*$\\|[\f%]\\|[ \t]*\\$\\$[ \t]*$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
425 \\\\begin\\>\\|\\\\label\\>\\|\\\\end\\>\\|\\\\\\[\\|\\\\\\]\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
426 \\\\chapter\\>\\|\\\\section\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
427 \\\\subsection\\>\\|\\\\subsubsection\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
428 \\\\paragraph\\>\\|\\\\subparagraph\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
429 \\(\\\\item\\|\\\\bibitem\\|\\\\newline\\|\\\\noindent\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
430 \\\\[a-z]*space\\|\\\\[a-z]*skip\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
431 \\\\newpage\\|\\\\[a-z]*page[a-z]*\\|\\\\footnote\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
432 \\\\marginpar\\|\\\\parbox\\|\\\\caption\\)[ \t]*\\($\\|%\\)") |
12704
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
433 (make-local-variable 'imenu-generic-expression) |
0b36e50fb5af
(latex-imenu-generic-expression): Var defined.
Karl Heuer <kwzh@gnu.org>
parents:
11617
diff
changeset
|
434 (setq imenu-generic-expression latex-imenu-generic-expression) |
14383
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
435 (make-local-variable 'tex-face-alist) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
436 (setq tex-face-alist tex-latex-face-alist) |
85 | 437 (run-hooks 'text-mode-hook 'tex-mode-hook 'latex-mode-hook)) |
438 | |
4768
9d84105b1248
(slitex-mode): Add ###autoload magic cookie.
Brian Fox <bfox@gnu.org>
parents:
4376
diff
changeset
|
439 ;;;###autoload |
85 | 440 (defun slitex-mode () |
441 "Major mode for editing files of input for SliTeX. | |
442 Makes $ and } display the characters they match. | |
443 Makes \" insert `` when it seems to be the beginning of a quotation, | |
444 and '' when it appears to be the end; it inserts \" only after a \\. | |
445 | |
446 Use \\[tex-region] to run SliTeX on the current region, plus the preamble | |
447 copied from the top of the file (containing \\documentstyle, etc.), | |
448 running SliTeX under a special subshell. \\[tex-buffer] does the whole buffer. | |
449 \\[tex-file] saves the buffer and then processes the file. | |
450 \\[tex-print] prints the .dvi file made by any of these. | |
451 \\[tex-view] previews the .dvi file made by any of these. | |
452 \\[tex-bibtex-file] runs bibtex on the file of the current buffer. | |
453 | |
454 Use \\[validate-tex-buffer] to check buffer for paragraphs containing | |
455 mismatched $'s or braces. | |
456 | |
457 Special commands: | |
458 \\{tex-mode-map} | |
459 | |
460 Mode variables: | |
461 slitex-run-command | |
462 Command string used by \\[tex-region] or \\[tex-buffer]. | |
463 tex-directory | |
464 Directory in which to create temporary files for SliTeX jobs | |
465 run by \\[tex-region] or \\[tex-buffer]. | |
466 tex-dvi-print-command | |
467 Command string used by \\[tex-print] to print a .dvi file. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
468 tex-alt-dvi-print-command |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
469 Alternative command string used by \\[tex-print] (when given a prefix |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
470 argument) to print a .dvi file. |
85 | 471 tex-dvi-view-command |
472 Command string used by \\[tex-view] to preview a .dvi file. | |
473 tex-show-queue-command | |
474 Command string used by \\[tex-show-print-queue] to show the print | |
475 queue that \\[tex-print] put your job on. | |
476 | |
7285 | 477 Entering SliTeX mode runs the hook `text-mode-hook', then the hook |
478 `tex-mode-hook', then the hook `latex-mode-hook', and finally the hook | |
479 `slitex-mode-hook'. When the special subshell is initiated, the hook | |
480 `tex-shell-hook' is run." | |
85 | 481 (interactive) |
482 (tex-common-initialization) | |
483 (setq mode-name "SliTeX") | |
484 (setq major-mode 'slitex-mode) | |
485 (setq tex-command slitex-run-command) | |
14383
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
486 (setq tex-start-of-header "\\\\documentstyle{slides}\\|\\\\documentclass{slides}") |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
487 (setq tex-end-of-header "\\\\begin{document}") |
85 | 488 (setq tex-trailer "\\end{document}\n") |
5425
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
489 ;; A line containing just $$ is treated as a paragraph separator. |
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
490 ;; A line starting with $$ starts a paragraph, |
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
491 ;; but does not separate paragraphs if it has more stuff on it. |
10898
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
492 (setq paragraph-start "[ \t]*$\\|[\f%]\\|[ \t]*\\$\\$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
493 \\\\begin\\>\\|\\\\label\\>\\|\\\\end\\>\\|\\\\\\[\\|\\\\\\]\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
494 \\\\chapter\\>\\|\\\\section\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
495 \\\\subsection\\>\\|\\\\subsubsection\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
496 \\\\paragraph\\>\\|\\\\subparagraph\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
497 \\\\item\\>\\|\\\\bibitem\\>\\|\\\\newline\\>\\|\\\\noindent\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
498 \\\\[a-z]*space\\>\\|\\\\[a-z]*skip\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
499 \\\\newpage\\>\\|\\\\[a-z]*page\\|\\\\footnote\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
500 \\\\marginpar\\>\\|\\\\parbox\\>\\|\\\\caption\\>") |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
501 (setq paragraph-separate "[ \t]*$\\|[\f%]\\|[ \t]*\\$\\$[ \t]*$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
502 \\\\begin\\>\\|\\\\label\\>\\|\\\\end\\>\\|\\\\\\[\\|\\\\\\]\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
503 \\\\chapter\\>\\|\\\\section\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
504 \\\\subsection\\>\\|\\\\subsubsection\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
505 \\\\paragraph\\>\\|\\\\subparagraph\\>\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
506 \\\\item[ \t]*$\\|\\\\bibitem[ \t]*$\\|\\\\newline[ \t]*$\\|\\\\noindent[ \t]*$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
507 \\\\[a-z]*space[ \t]*$\\|\\\\[a-z]*skip[ \t]*$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
508 \\\\newpage[ \t]*$\\|\\\\[a-z]*page[a-z]*[ \t]*$\\|\\\\footnote[ \t]*$\\|\ |
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
509 \\\\marginpar[ \t]*$\\|\\\\parbox[ \t]*$\\|\\\\caption[ \t]*$") |
85 | 510 (run-hooks |
511 'text-mode-hook 'tex-mode-hook 'latex-mode-hook 'slitex-mode-hook)) | |
512 | |
513 (defun tex-common-initialization () | |
514 (kill-all-local-variables) | |
515 (use-local-map tex-mode-map) | |
516 (setq local-abbrev-table text-mode-abbrev-table) | |
517 (if (null tex-mode-syntax-table) | |
518 (let ((char 0)) | |
519 (setq tex-mode-syntax-table (make-syntax-table)) | |
520 (set-syntax-table tex-mode-syntax-table) | |
521 (while (< char ? ) | |
522 (modify-syntax-entry char ".") | |
523 (setq char (1+ char))) | |
524 (modify-syntax-entry ?\C-@ "w") | |
525 (modify-syntax-entry ?\t " ") | |
526 (modify-syntax-entry ?\n ">") | |
527 (modify-syntax-entry ?\f ">") | |
528 (modify-syntax-entry ?$ "$$") | |
529 (modify-syntax-entry ?% "<") | |
530 (modify-syntax-entry ?\\ "/") | |
531 (modify-syntax-entry ?\" ".") | |
532 (modify-syntax-entry ?& ".") | |
533 (modify-syntax-entry ?_ ".") | |
534 (modify-syntax-entry ?@ "_") | |
535 (modify-syntax-entry ?~ " ") | |
536 (modify-syntax-entry ?' "w")) | |
537 (set-syntax-table tex-mode-syntax-table)) | |
538 (make-local-variable 'paragraph-start) | |
5262
b3a689b41d39
(tex-common-initialization): Make paragraph-start
Richard M. Stallman <rms@gnu.org>
parents:
5088
diff
changeset
|
539 ;; A line containing just $$ is treated as a paragraph separator. |
10898
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
540 (setq paragraph-start "[ \t]*$\\|[\f\\\\%]\\|[ \t]*\\$\\$") |
85 | 541 (make-local-variable 'paragraph-separate) |
5425
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
542 ;; A line starting with $$ starts a paragraph, |
3dd5ff54e1cd
(slitex-mode, latex-mode): Set paragraph-start and
Richard M. Stallman <rms@gnu.org>
parents:
5262
diff
changeset
|
543 ;; but does not separate paragraphs if it has more stuff on it. |
10898
ebe3c755c5d9
(tex-common-initialization, latex-mode, slitex-mode): Remove ^ from
Boris Goldowsky <boris@gnu.org>
parents:
10778
diff
changeset
|
544 (setq paragraph-separate "[ \t]*$\\|[\f\\\\%]\\|[ \t]*\\$\\$[ \t]*$") |
85 | 545 (make-local-variable 'comment-start) |
546 (setq comment-start "%") | |
547 (make-local-variable 'comment-start-skip) | |
548 (setq comment-start-skip "\\(\\(^\\|[^\\]\\)\\(\\\\\\\\\\)*\\)\\(%+ *\\)") | |
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2265
diff
changeset
|
549 (make-local-variable 'comment-indent-function) |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2265
diff
changeset
|
550 (setq comment-indent-function 'tex-comment-indent) |
5427
cde2cde50796
(tex-common-initialization): Make parse-sexp-ignore-comments t.
Richard M. Stallman <rms@gnu.org>
parents:
5425
diff
changeset
|
551 (make-local-variable 'parse-sexp-ignore-comments) |
cde2cde50796
(tex-common-initialization): Make parse-sexp-ignore-comments t.
Richard M. Stallman <rms@gnu.org>
parents:
5425
diff
changeset
|
552 (setq parse-sexp-ignore-comments t) |
85 | 553 (make-local-variable 'compare-windows-whitespace) |
554 (setq compare-windows-whitespace 'tex-categorize-whitespace) | |
14383
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
555 (make-local-variable 'facemenu-add-face-function) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
556 (make-local-variable 'facemenu-end-add-face) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
557 (make-local-variable 'facemenu-remove-face-function) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
558 (setq facemenu-add-face-function |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
559 (lambda (face end) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
560 (let ((face-text (cdr (assq face tex-face-alist)))) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
561 (if face-text |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
562 face-text |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
563 (error "Face %s not configured for %s mode" face mode-name)))) |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
564 facemenu-end-add-face "}" |
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
565 facemenu-remove-face-function t) |
85 | 566 (make-local-variable 'tex-command) |
567 (make-local-variable 'tex-start-of-header) | |
568 (make-local-variable 'tex-end-of-header) | |
569 (make-local-variable 'tex-trailer)) | |
570 | |
571 (defun tex-comment-indent () | |
572 (if (looking-at "%%%") | |
573 (current-column) | |
574 (skip-chars-backward " \t") | |
575 (max (if (bolp) 0 (1+ (current-column))) | |
576 comment-column))) | |
577 | |
578 (defun tex-categorize-whitespace (backward-limit) | |
579 ;; compare-windows-whitespace is set to this. | |
580 ;; This is basically a finite-state machine. | |
581 ;; Returns a symbol telling how TeX would treat | |
582 ;; the whitespace we are looking at: null, space, or par. | |
583 (let ((category 'null) | |
584 (not-finished t)) | |
585 (skip-chars-backward " \t\n\f" backward-limit) | |
586 (while not-finished | |
587 (cond ((looking-at "[ \t]+") | |
588 (goto-char (match-end 0)) | |
589 (if (eql category 'null) | |
590 (setq category 'space))) | |
591 ((looking-at "\n") | |
592 (cond ((eql category 'newline) | |
593 (setq category 'par) | |
594 (setq not-finished nil)) | |
595 (t | |
596 (setq category 'newline) ;a strictly internal state | |
597 (goto-char (match-end 0))))) | |
598 ((looking-at "\f+") | |
599 (setq category 'par) | |
600 (setq not-finished nil)) | |
601 (t | |
602 (setq not-finished nil)))) | |
603 (skip-chars-forward " \t\n\f") | |
604 (if (eql category 'newline) | |
605 'space ;TeX doesn't distinguish | |
606 category))) | |
607 | |
608 (defun tex-insert-quote (arg) | |
609 "Insert the appropriate quote marks for TeX. | |
2836
d95acb2243f9
(tex-insert-quote): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
2598
diff
changeset
|
610 Inserts the value of `tex-open-quote' (normally ``) or `tex-close-quote' |
d95acb2243f9
(tex-insert-quote): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
2598
diff
changeset
|
611 \(normally '') depending on the context. With prefix argument, always |
85 | 612 inserts \" characters." |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
613 (interactive "*P") |
85 | 614 (if arg |
615 (self-insert-command (prefix-numeric-value arg)) | |
616 (insert | |
617 (cond ((or (bobp) | |
618 (save-excursion | |
619 (forward-char -1) | |
620 (looking-at "\\s(\\|\\s \\|\\s>"))) | |
621 tex-open-quote) | |
622 ((= (preceding-char) ?\\) | |
623 ?\") | |
624 (t | |
625 tex-close-quote))))) | |
626 | |
627 (defun validate-tex-buffer () | |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
628 "Check current buffer for paragraphs containing mismatched $s. |
4376
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
629 Their positions are recorded in the buffer `*Occur*'. |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
630 To find a particular invalidity from `*Occur*', |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
631 switch to to that buffer and type C-c C-c on the line |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
632 for the invalidity you want to see." |
85 | 633 (interactive) |
4376
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
634 (let ((buffer (current-buffer)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
635 (prevpos (point-min)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
636 (linenum nil)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
637 (with-output-to-temp-buffer "*Occur*" |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
638 (princ "Mismatches:\n") |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
639 (save-excursion |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
640 (set-buffer standard-output) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
641 (occur-mode) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
642 (setq occur-buffer buffer) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
643 (setq occur-nlines 0) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
644 (setq occur-pos-list nil)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
645 (save-excursion |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
646 (goto-char (point-max)) |
85 | 647 (while (and (not (input-pending-p)) (not (bobp))) |
648 (let ((end (point))) | |
4376
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
649 ;; Scan the previous paragraph for invalidities. |
85 | 650 (search-backward "\n\n" nil 'move) |
651 (or (tex-validate-region (point) end) | |
4376
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
652 (let* ((end (save-excursion (forward-line 1) (point))) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
653 start tem) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
654 (beginning-of-line) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
655 (setq start (point)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
656 ;; Keep track of line number as we scan, |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
657 ;; in a cumulative fashion. |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
658 (if linenum |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
659 (setq linenum (- linenum (count-lines prevpos (point)))) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
660 (setq linenum (1+ (count-lines 1 start)))) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
661 (setq prevpos (point)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
662 ;; Mention this mismatch in *Occur*. |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
663 ;; Since we scan from end of buffer to beginning, |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
664 ;; add each mismatch at the beginning of *Occur* |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
665 ;; and at the beginning of occur-pos-list. |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
666 (save-excursion |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
667 (setq tem (point-marker)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
668 (set-buffer standard-output) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
669 (goto-char (point-min)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
670 ;; Skip "Mismatches:" header line. |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
671 (forward-line 1) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
672 (setq occur-pos-list (cons tem occur-pos-list)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
673 (insert-buffer-substring buffer start end) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
674 (forward-char (- start end)) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
675 (insert (format "%3d: " linenum)))))))) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
676 (save-excursion |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
677 (set-buffer standard-output) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
678 (if (null occur-pos-list) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
679 (insert "None!\n")) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
680 (if (interactive-p) |
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
681 (message "%d mismatches found" (length occur-pos-list))))))) |
85 | 682 |
683 (defun tex-validate-region (start end) | |
684 "Check for mismatched braces or $'s in region. | |
685 Returns t if no mismatches. Returns nil and moves point to suspect | |
686 area if a mismatch is found." | |
687 (interactive "r") | |
688 (let ((failure-point nil) (max-possible-sexps (- end start))) | |
689 (save-excursion | |
690 (condition-case () | |
691 (save-restriction | |
692 (narrow-to-region start end) | |
693 (goto-char start) | |
694 (while (< 0 (setq max-possible-sexps (1- max-possible-sexps))) | |
695 (forward-sexp 1))) | |
696 (error | |
697 (setq failure-point (point))))) | |
698 (if failure-point | |
699 (progn | |
700 (goto-char failure-point) | |
701 nil) | |
702 t))) | |
703 | |
704 (defun tex-terminate-paragraph (inhibit-validation) | |
705 "Insert two newlines, breaking a paragraph for TeX. | |
7285 | 706 Check for mismatched braces or $s in paragraph being terminated. |
85 | 707 A prefix arg inhibits the checking." |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
708 (interactive "*P") |
85 | 709 (or inhibit-validation |
710 (save-excursion | |
711 (tex-validate-region | |
712 (save-excursion | |
713 (search-backward "\n\n" nil 'move) | |
714 (point)) | |
715 (point))) | |
716 (message "Paragraph being closed appears to contain a mismatch")) | |
717 (insert "\n\n")) | |
718 | |
719 (defun tex-insert-braces () | |
720 "Make a pair of braces and be poised to type inside of them." | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
721 (interactive "*") |
85 | 722 (insert ?\{) |
723 (save-excursion | |
724 (insert ?}))) | |
725 | |
726 ;;; Like tex-insert-braces, but for LaTeX. | |
727 (defun tex-latex-block (name) | |
7285 | 728 "Creates a matching pair of lines `\\begin{NAME}' and `\\end{NAME}' at point. |
85 | 729 Puts point on a blank line between them." |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
730 (interactive |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
731 (prog2 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
732 (barf-if-buffer-read-only) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
733 (list |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
734 (completing-read "LaTeX block name: " |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
735 (mapcar 'list |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
736 (append standard-latex-block-names |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
737 latex-block-names)))))) |
85 | 738 (let ((col (current-column))) |
739 (insert (format "\\begin{%s}\n" name)) | |
740 (indent-to col) | |
741 (save-excursion | |
742 (insert ?\n) | |
743 (indent-to col) | |
744 (insert-string (format "\\end{%s}" name)) | |
745 (if (eobp) (insert ?\n))))) | |
746 | |
747 (defun tex-last-unended-begin () | |
7285 | 748 "Leave point at the beginning of the last `\\begin{...}' that is unended." |
85 | 749 (while (and (re-search-backward "\\(\\\\begin\\s *{\\)\\|\\(\\\\end\\s *{\\)") |
750 (looking-at "\\\\end{")) | |
751 (tex-last-unended-begin))) | |
752 | |
7297
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
753 (defun tex-goto-last-unclosed-latex-block () |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
754 "Move point to the last unclosed \\begin{...}. |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
755 Mark is left at original location." |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
756 (interactive) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
757 (let ((spot)) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
758 (save-excursion |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
759 (condition-case nil |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
760 (tex-last-unended-begin) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
761 (error (error "Couldn't find unended \\begin"))) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
762 (setq spot (point))) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
763 (push-mark) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
764 (goto-char spot))) |
a480d11d5594
(tex-goto-last-unclosed-latex-block): New function. Bound to C-c C-u in
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
7285
diff
changeset
|
765 |
85 | 766 (defun tex-close-latex-block () |
767 "Creates an \\end{...} to match the last unclosed \\begin{...}." | |
768 (interactive "*") | |
769 (let ((new-line-needed (bolp)) | |
770 text indentation) | |
771 (save-excursion | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
772 (condition-case nil |
85 | 773 (tex-last-unended-begin) |
774 (error (error "Couldn't find unended \\begin"))) | |
775 (setq indentation (current-column)) | |
776 (re-search-forward "\\\\begin\\(\\s *{[^}\n]*}\\)") | |
777 (setq text (buffer-substring (match-beginning 1) (match-end 1)))) | |
778 (indent-to indentation) | |
779 (insert "\\end" text) | |
780 (if new-line-needed (insert ?\n)))) | |
781 | |
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
782 (defun tex-compilation-parse-errors () |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
783 "Parse the current buffer as error messages. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
784 This makes a list of error descriptors, compilation-error-list. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
785 For each source-file, line-number pair in the buffer, |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
786 the source file is read in, and the text location is saved in |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
787 compilation-error-list. The function `next-error', assigned to |
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
788 \\[next-error], takes the next error off the list and visits its location. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
789 |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
790 This function works on TeX compilations only. It is necessary for |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
791 that purpose, since TeX does not put file names on the same line as |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
792 line numbers for the errors." |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
793 (setq compilation-error-list nil) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
794 (message "Parsing error messages...") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
795 (modify-syntax-entry ?\{ "_") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
796 (modify-syntax-entry ?\} "_") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
797 (modify-syntax-entry ?\[ "_") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
798 (modify-syntax-entry ?\] "_") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
799 (let (text-buffer |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
800 last-filename last-linenum) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
801 ;; Don't reparse messages already seen at last parse. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
802 (goto-char compilation-parsing-end) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
803 ;; Don't parse the first two lines as error messages. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
804 ;; This matters for grep. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
805 (if (bobp) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
806 (forward-line 2)) |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
807 (while (re-search-forward "^l\.[0-9]+ " nil t) |
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
808 (let (linenum filename |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
809 error-marker text-marker) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
810 ;; Extract file name and line number from error message. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
811 ;; Line number is 2 away from beginning of line: "l.23" |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
812 (beginning-of-line) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
813 (goto-char (+ (point) 2)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
814 (setq linenum (read (current-buffer))) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
815 ;; The file is the one that was opened last and is still open. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
816 ;; We need to find the last open parenthesis. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
817 (insert ?\)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
818 (backward-sexp) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
819 (forward-char) |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
820 (setq filename (current-word)) |
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
821 ;; Locate the erring file and line. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
822 (if (and (equal filename last-filename) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
823 (= linenum last-linenum)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
824 nil |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
825 (skip-chars-backward "^(") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
826 (backward-char) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
827 (forward-sexp) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
828 (backward-delete-char 1) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
829 (setq error-marker (point-marker)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
830 ;; text-buffer gets the buffer containing this error's file. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
831 (if (not (equal filename last-filename)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
832 (setq text-buffer |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
833 (and (file-exists-p (setq last-filename filename)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
834 (find-file-noselect filename)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
835 last-linenum 0)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
836 (if text-buffer |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
837 ;; Go to that buffer and find the erring line. |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
838 (save-excursion |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
839 (set-buffer text-buffer) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
840 (if (zerop last-linenum) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
841 (progn |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
842 (goto-char 1) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
843 (setq last-linenum 1))) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
844 (forward-line (- linenum last-linenum)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
845 (setq last-linenum linenum) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
846 (setq text-marker (point-marker)) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
847 (setq compilation-error-list |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
848 (cons (list error-marker text-marker) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
849 compilation-error-list))))) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
850 (forward-line 1))) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
851 (setq compilation-parsing-end (point-max))) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
852 (message "Parsing error messages...done") |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
853 (setq compilation-error-list (nreverse compilation-error-list))) |
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
854 |
85 | 855 ;;; Invoking TeX in an inferior shell. |
856 | |
857 ;;; Why use a shell instead of running TeX directly? Because if TeX | |
858 ;;; gets stuck, the user can switch to the shell window and type at it. | |
859 | |
860 ;;; The utility functions: | |
861 | |
7834
fc1c95bf734b
(tex-start-shell): Add autoload.
Richard M. Stallman <rms@gnu.org>
parents:
7827
diff
changeset
|
862 ;;;###autoload |
85 | 863 (defun tex-start-shell () |
864 (save-excursion | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
865 (set-buffer |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
866 (make-comint |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
867 "tex-shell" |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
868 (or tex-shell-file-name (getenv "ESHELL") (getenv "SHELL") "/bin/sh") |
5087
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
869 nil)) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
870 (let ((proc (get-process "tex-shell"))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
871 (set-process-sentinel proc 'tex-shell-sentinel) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
872 (process-kill-without-query proc) |
10190
2569f4d3073e
Be consistent in use of comint (instead of shell) mode.
Edward M. Reingold <reingold@emr.cs.iit.edu>
parents:
9672
diff
changeset
|
873 (setq comint-prompt-regexp shell-prompt-pattern) |
10204
287ffc59d9f8
(tex-start-shell): Use inheritance.
Richard M. Stallman <rms@gnu.org>
parents:
10197
diff
changeset
|
874 (setq tex-shell-map (nconc (make-sparse-keymap) shell-mode-map)) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
875 (tex-define-common-keys tex-shell-map) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
876 (use-local-map tex-shell-map) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
877 (run-hooks 'tex-shell-hook) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
878 (while (zerop (buffer-size)) |
10572
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
879 (sleep-for 1))))) |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
880 |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
881 (defun tex-display-shell () |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
882 "Make the TeX shell buffer visible in a window." |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
883 (display-buffer (process-buffer (get-process "tex-shell"))) |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
884 (tex-recenter-output-buffer nil)) |
85 | 885 |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
886 (defun tex-shell-sentinel (proc msg) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
887 (cond ((null (buffer-name (process-buffer proc))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
888 ;; buffer killed |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
889 (set-process-buffer proc nil) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
890 (tex-delete-last-temp-files)) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
891 ((memq (process-status proc) '(signal exit)) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
892 (tex-delete-last-temp-files)))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
893 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
894 (defun tex-set-buffer-directory (buffer directory) |
85 | 895 "Set BUFFER's default directory to be DIRECTORY." |
896 (setq directory (file-name-as-directory (expand-file-name directory))) | |
897 (if (not (file-directory-p directory)) | |
898 (error "%s is not a directory" directory) | |
899 (save-excursion | |
900 (set-buffer buffer) | |
901 (setq default-directory directory)))) | |
902 | |
5088
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
903 (defvar tex-send-command-modified-tick 0) |
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
904 (make-variable-buffer-local 'tex-send-command-modified-tick) |
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
905 |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
906 (defun tex-send-command (command &optional file background) |
5087
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
907 "Send COMMAND to TeX shell process, substituting optional FILE for *. |
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
908 Do this in background if optional BACKGROUND is t. If COMMAND has no *, |
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
909 FILE will be appended, preceded by a blank, to COMMAND. If FILE is nil, no |
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
910 substitution will be made in COMMAND. COMMAND can be any expression that |
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
911 evaluates to a command string." |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
912 (save-excursion |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
913 (let* ((cmd (eval command)) |
13399
ac7b3d7dafe8
(tex-send-command): Give meaningful error message.
Karl Heuer <kwzh@gnu.org>
parents:
13248
diff
changeset
|
914 (proc (or (get-process "tex-shell") (error "No TeX subprocess"))) |
5262
b3a689b41d39
(tex-common-initialization): Make paragraph-start
Richard M. Stallman <rms@gnu.org>
parents:
5088
diff
changeset
|
915 (buf (process-buffer proc)) |
2265
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
916 (star (string-match "\\*" cmd)) |
5087
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
917 (string |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
918 (concat |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
919 (if file |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
920 (if star (concat (substring cmd 0 star) |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
921 file (substring cmd (1+ star))) |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
922 (concat cmd " " file)) |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
923 cmd) |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
924 (if background "&" "")))) |
5262
b3a689b41d39
(tex-common-initialization): Make paragraph-start
Richard M. Stallman <rms@gnu.org>
parents:
5088
diff
changeset
|
925 ;; Switch to buffer before checking for subproc output in it. |
b3a689b41d39
(tex-common-initialization): Make paragraph-start
Richard M. Stallman <rms@gnu.org>
parents:
5088
diff
changeset
|
926 (set-buffer buf) |
5088
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
927 ;; If text is unchanged since previous tex-send-command, |
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
928 ;; we haven't got any output. So wait for output now. |
5262
b3a689b41d39
(tex-common-initialization): Make paragraph-start
Richard M. Stallman <rms@gnu.org>
parents:
5088
diff
changeset
|
929 (if (= (buffer-modified-tick buf) tex-send-command-modified-tick) |
5088
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
930 (accept-process-output proc)) |
5087
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
931 (goto-char (process-mark proc)) |
a7b2df620d1a
(tex-start-shell): Don't use -v option.
Richard M. Stallman <rms@gnu.org>
parents:
4917
diff
changeset
|
932 (insert string) |
5088
73a1b31b673f
(tex-send-command): Wait for output first,
Richard M. Stallman <rms@gnu.org>
parents:
5087
diff
changeset
|
933 (comint-send-input) |
5262
b3a689b41d39
(tex-common-initialization): Make paragraph-start
Richard M. Stallman <rms@gnu.org>
parents:
5088
diff
changeset
|
934 (setq tex-send-command-modified-tick (buffer-modified-tick buf))))) |
85 | 935 |
6479
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
936 (defun tex-delete-last-temp-files (&optional not-all) |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
937 "Delete any junk files from last temp file. |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
938 If NOT-ALL is non-nil, save the `.dvi' file." |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
939 (if tex-last-temp-file |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
940 (let* ((dir (file-name-directory tex-last-temp-file)) |
7536
efecdee78026
(tex-delete-last-temp-files): Don't fail on non-existent directory.
Karl Heuer <kwzh@gnu.org>
parents:
7298
diff
changeset
|
941 (list (and (file-directory-p dir) |
efecdee78026
(tex-delete-last-temp-files): Don't fail on non-existent directory.
Karl Heuer <kwzh@gnu.org>
parents:
7298
diff
changeset
|
942 (file-name-all-completions |
efecdee78026
(tex-delete-last-temp-files): Don't fail on non-existent directory.
Karl Heuer <kwzh@gnu.org>
parents:
7298
diff
changeset
|
943 (file-name-nondirectory tex-last-temp-file) dir)))) |
efecdee78026
(tex-delete-last-temp-files): Don't fail on non-existent directory.
Karl Heuer <kwzh@gnu.org>
parents:
7298
diff
changeset
|
944 (while list |
6479
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
945 (if not-all |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
946 (and |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
947 ;; If arg is non-nil, don't delete the .dvi file. |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
948 (not (string-match "\\.dvi$" (car list))) |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
949 (delete-file (concat dir (car list)))) |
855f4f2d24da
(tex-delete-last-temp-files): New arg NOT-ALL.
Richard M. Stallman <rms@gnu.org>
parents:
5427
diff
changeset
|
950 (delete-file (concat dir (car list)))) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
951 (setq list (cdr list)))))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
952 |
741
587f7a98341d
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
739
diff
changeset
|
953 (add-hook 'kill-emacs-hook 'tex-delete-last-temp-files) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
954 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
955 ;;; The commands: |
85 | 956 |
957 (defun tex-region (beg end) | |
958 "Run TeX on the current region, via a temporary file. | |
959 The file's name comes from the variable `tex-zap-file' and the | |
960 variable `tex-directory' says where to put it. | |
961 | |
962 If the buffer has a header, the header is given to TeX before the | |
963 region itself. The buffer's header is all lines between the strings | |
964 defined by `tex-start-of-header' and `tex-end-of-header' inclusive. | |
965 The header must start in the first 100 lines of the buffer. | |
966 | |
967 The value of `tex-trailer' is given to TeX as input after the region. | |
968 | |
969 The value of `tex-command' specifies the command to use to run TeX." | |
970 (interactive "r") | |
971 (if (tex-shell-running) | |
972 (tex-kill-job) | |
973 (tex-start-shell)) | |
974 (or tex-zap-file | |
975 (setq tex-zap-file (tex-generate-zap-file-name))) | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
976 (let* ((temp-buffer (get-buffer-create " TeX-Output-Buffer")) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
977 ; Temp file will be written and TeX will be run in zap-directory. |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
978 ; If the TEXINPUTS file has relative directories or if the region has |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
979 ; \input of files, this must be the same directory as the file for |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
980 ; TeX to access the correct inputs. That's why it's safest if |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
981 ; tex-directory is ".". |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
982 (zap-directory |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
983 (file-name-as-directory (expand-file-name tex-directory))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
984 (tex-out-file (concat zap-directory tex-zap-file))) |
9450
af39d29d1386
(compare-windows-whitespace): Eliminate initial value.
Richard M. Stallman <rms@gnu.org>
parents:
8890
diff
changeset
|
985 ;; Don't delete temp files if we do the same buffer twice in a row. |
af39d29d1386
(compare-windows-whitespace): Eliminate initial value.
Richard M. Stallman <rms@gnu.org>
parents:
8890
diff
changeset
|
986 (or (eq (current-buffer) tex-last-buffer-texed) |
af39d29d1386
(compare-windows-whitespace): Eliminate initial value.
Richard M. Stallman <rms@gnu.org>
parents:
8890
diff
changeset
|
987 (tex-delete-last-temp-files t)) |
85 | 988 ;; Write the new temp file. |
989 (save-excursion | |
990 (save-restriction | |
991 (widen) | |
992 (goto-char (point-min)) | |
993 (forward-line 100) | |
994 (let ((search-end (point)) | |
995 (hbeg (point-min)) (hend (point-min)) | |
996 (default-directory zap-directory)) | |
997 (goto-char (point-min)) | |
998 ;; Initialize the temp file with either the header or nothing | |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
999 (if (re-search-forward tex-start-of-header search-end t) |
85 | 1000 (progn |
1001 (beginning-of-line) | |
1002 (setq hbeg (point)) ;mark beginning of header | |
13248
a7e83f7eb499
(tex-start-of-header): Now a regexp.
Richard M. Stallman <rms@gnu.org>
parents:
12704
diff
changeset
|
1003 (if (re-search-forward tex-end-of-header nil t) |
85 | 1004 (progn (forward-line 1) |
1005 (setq hend (point))) ;mark end of header | |
1006 (setq hbeg (point-min))))) ;no header | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1007 (write-region (min hbeg beg) hend |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1008 (concat tex-out-file ".tex") nil nil) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1009 (write-region (max beg hend) end (concat tex-out-file ".tex") t nil)) |
85 | 1010 (let ((local-tex-trailer tex-trailer)) |
1011 (set-buffer temp-buffer) | |
1012 (erase-buffer) | |
1013 ;; make sure trailer isn't hidden by a comment | |
1014 (insert-string "\n") | |
1015 (if local-tex-trailer (insert-string local-tex-trailer)) | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1016 (tex-set-buffer-directory temp-buffer zap-directory) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1017 (write-region (point-min) (point-max) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1018 (concat tex-out-file ".tex") t nil)))) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1019 ;; Record the file name to be deleted afterward. |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1020 (setq tex-last-temp-file tex-out-file) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1021 (tex-send-command tex-shell-cd-command zap-directory) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1022 (tex-send-command tex-command tex-out-file) |
10572
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
1023 (tex-display-shell) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1024 (setq tex-print-file tex-out-file) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1025 (setq tex-last-buffer-texed (current-buffer)))) |
85 | 1026 |
1027 (defun tex-buffer () | |
1028 "Run TeX on current buffer. See \\[tex-region] for more information. | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1029 Does not save the buffer, so it's useful for trying experimental versions. |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1030 See \\[tex-file] for an alternative." |
85 | 1031 (interactive) |
1032 (tex-region (point-min) (point-max))) | |
1033 | |
1034 (defun tex-file () | |
1035 "Prompt to save all buffers and run TeX (or LaTeX) on current buffer's file. | |
1036 This function is more useful than \\[tex-buffer] when you need the | |
1037 `.aux' file of LaTeX to have the correct name." | |
1038 (interactive) | |
1039 (let ((tex-out-file | |
1040 (if (buffer-file-name) | |
1041 (file-name-nondirectory (buffer-file-name)) | |
1042 (error "Buffer does not seem to be associated with any file"))) | |
1043 (file-dir (file-name-directory (buffer-file-name)))) | |
758 | 1044 (if tex-offer-save |
741
587f7a98341d
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
739
diff
changeset
|
1045 (save-some-buffers)) |
85 | 1046 (if (tex-shell-running) |
1047 (tex-kill-job) | |
1048 (tex-start-shell)) | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1049 (tex-send-command tex-shell-cd-command file-dir) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1050 (tex-send-command tex-command tex-out-file)) |
10572
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
1051 (tex-display-shell) |
85 | 1052 (setq tex-last-buffer-texed (current-buffer)) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1053 (setq tex-print-file (buffer-file-name))) |
85 | 1054 |
1055 (defun tex-generate-zap-file-name () | |
1056 "Generate a unique name suitable for use as a file name." | |
1057 ;; Include the shell process number and host name | |
1058 ;; in case there are multiple shells (for same or different user). | |
1059 (format "#tz%d%s" | |
1060 (process-id (get-buffer-process "*tex-shell*")) | |
1061 (tex-strip-dots (system-name)))) | |
1062 | |
1063 (defun tex-strip-dots (s) | |
1064 (setq s (copy-sequence s)) | |
1065 (while (string-match "\\." s) | |
1066 (aset s (match-beginning 0) ?-)) | |
1067 s) | |
1068 | |
1069 ;; This will perhaps be useful for modifying TEXINPUTS. | |
1070 ;; Expand each file name, separated by colons, in the string S. | |
1071 (defun tex-expand-files (s) | |
1072 (let (elts (start 0)) | |
1073 (while (string-match ":" s start) | |
1074 (setq elts (cons (substring s start (match-beginning 0)) elts)) | |
1075 (setq start (match-end 0))) | |
1076 (or (= start 0) | |
1077 (setq elts (cons (substring s start) elts))) | |
1078 (mapconcat 'expand-file-name (nreverse elts) ":"))) | |
1079 | |
1080 (defun tex-shell-running () | |
1081 (and (get-process "tex-shell") | |
1082 (eq (process-status (get-process "tex-shell")) 'run))) | |
1083 | |
1084 (defun tex-kill-job () | |
1085 "Kill the currently running TeX job." | |
1086 (interactive) | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1087 (quit-process (get-process "tex-shell") t)) |
85 | 1088 |
1089 (defun tex-recenter-output-buffer (linenum) | |
1090 "Redisplay buffer of TeX job output so that most recent output can be seen. | |
1091 The last line of the buffer is displayed on | |
1092 line LINE of the window, or centered if LINE is nil." | |
1093 (interactive "P") | |
1094 (let ((tex-shell (get-buffer "*tex-shell*")) | |
1095 (old-buffer (current-buffer))) | |
1096 (if (null tex-shell) | |
1097 (message "No TeX output buffer") | |
1098 (pop-to-buffer tex-shell) | |
1099 (bury-buffer tex-shell) | |
1100 (goto-char (point-max)) | |
1101 (recenter (if linenum | |
1102 (prefix-numeric-value linenum) | |
1103 (/ (window-height) 2))) | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1104 (pop-to-buffer old-buffer)))) |
85 | 1105 |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1106 (defun tex-print (&optional alt) |
85 | 1107 "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file]. |
1577 | 1108 Runs the shell command defined by `tex-dvi-print-command'. If prefix argument |
1109 is provided, use the alternative command, `tex-alt-dvi-print-command'." | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1110 (interactive "P") |
85 | 1111 (let ((print-file-name-dvi (tex-append tex-print-file ".dvi")) |
1112 test-name) | |
1113 (if (and (not (equal (current-buffer) tex-last-buffer-texed)) | |
10341
f27bcd1faf07
(tex-print): Better check for when to print current
Richard M. Stallman <rms@gnu.org>
parents:
10325
diff
changeset
|
1114 (buffer-file-name) |
f27bcd1faf07
(tex-print): Better check for when to print current
Richard M. Stallman <rms@gnu.org>
parents:
10325
diff
changeset
|
1115 ;; Check that this buffer's printed file is up to date. |
85 | 1116 (file-newer-than-file-p |
1117 (setq test-name (tex-append (buffer-file-name) ".dvi")) | |
10341
f27bcd1faf07
(tex-print): Better check for when to print current
Richard M. Stallman <rms@gnu.org>
parents:
10325
diff
changeset
|
1118 (buffer-file-name))) |
85 | 1119 (setq print-file-name-dvi test-name)) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1120 (if (not (file-exists-p print-file-name-dvi)) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1121 (error "No appropriate `.dvi' file could be found") |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1122 (tex-send-command |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1123 (if alt tex-alt-dvi-print-command tex-dvi-print-command) |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1124 print-file-name-dvi t)))) |
85 | 1125 |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1126 (defun tex-alt-print () |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1127 "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file]. |
10296
c58e6bb97038
(tex-mode-map): Add BibTeX File menu item.
Richard M. Stallman <rms@gnu.org>
parents:
10215
diff
changeset
|
1128 Runs the shell command defined by `tex-alt-dvi-print-command'." |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1129 (interactive) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1130 (tex-print t)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1131 |
85 | 1132 (defun tex-view () |
1133 "Preview the last `.dvi' file made by running TeX under Emacs. | |
1134 This means, made using \\[tex-region], \\[tex-buffer] or \\[tex-file]. | |
11617
9eaeed5c8a40
(tex-view): Nice error if tex-dvi-view-command is nil.
Richard M. Stallman <rms@gnu.org>
parents:
11235
diff
changeset
|
1135 The variable `tex-dvi-view-command' specifies the shell command for preview. |
9eaeed5c8a40
(tex-view): Nice error if tex-dvi-view-command is nil.
Richard M. Stallman <rms@gnu.org>
parents:
11235
diff
changeset
|
1136 You must set that variable yourself before using this command, |
9eaeed5c8a40
(tex-view): Nice error if tex-dvi-view-command is nil.
Richard M. Stallman <rms@gnu.org>
parents:
11235
diff
changeset
|
1137 because there is no standard value that would generally work." |
85 | 1138 (interactive) |
11617
9eaeed5c8a40
(tex-view): Nice error if tex-dvi-view-command is nil.
Richard M. Stallman <rms@gnu.org>
parents:
11235
diff
changeset
|
1139 (or tex-dvi-view-command |
9eaeed5c8a40
(tex-view): Nice error if tex-dvi-view-command is nil.
Richard M. Stallman <rms@gnu.org>
parents:
11235
diff
changeset
|
1140 (error "You must set `tex-dvi-view-command'")) |
85 | 1141 (let ((tex-dvi-print-command tex-dvi-view-command)) |
1142 (tex-print))) | |
1143 | |
1144 (defun tex-append (file-name suffix) | |
1145 "Append to FILENAME the suffix SUFFIX, using same algorithm TeX uses. | |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1146 Pascal-based TeX scans for the first period, C TeX uses the last. |
85 | 1147 No period is retained immediately before SUFFIX, |
1148 so normally SUFFIX starts with one." | |
1149 (if (stringp file-name) | |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1150 (let ((file (file-name-nondirectory file-name)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1151 trial-name) |
14383
af281a43a3bb
(tex-face-alist, tex-latex-face-alist): New variables.
Richard M. Stallman <rms@gnu.org>
parents:
13399
diff
changeset
|
1152 ;; Try splitting on last period. |
10778
ace814499178
(tex-append): Try splitting on last period, then
Richard M. Stallman <rms@gnu.org>
parents:
10572
diff
changeset
|
1153 ;; The first-period split can get fooled when two files |
ace814499178
(tex-append): Try splitting on last period, then
Richard M. Stallman <rms@gnu.org>
parents:
10572
diff
changeset
|
1154 ;; named a.tex and a.b.tex are both tex'd; |
ace814499178
(tex-append): Try splitting on last period, then
Richard M. Stallman <rms@gnu.org>
parents:
10572
diff
changeset
|
1155 ;; the last-period split must be right if it matches at all. |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1156 (setq trial-name |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1157 (concat (file-name-directory file-name) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1158 (substring file 0 |
10778
ace814499178
(tex-append): Try splitting on last period, then
Richard M. Stallman <rms@gnu.org>
parents:
10572
diff
changeset
|
1159 (string-match "\\.[^.]*$" file)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1160 suffix)) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1161 (if (or (file-exists-p trial-name) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1162 (file-exists-p (concat trial-name ".aux"))) ;for BibTeX files |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1163 trial-name |
10778
ace814499178
(tex-append): Try splitting on last period, then
Richard M. Stallman <rms@gnu.org>
parents:
10572
diff
changeset
|
1164 ;; Not found, so split on first period. |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1165 (concat (file-name-directory file-name) |
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1166 (substring file 0 |
10778
ace814499178
(tex-append): Try splitting on last period, then
Richard M. Stallman <rms@gnu.org>
parents:
10572
diff
changeset
|
1167 (string-match "\\." file)) |
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1168 suffix))) |
85 | 1169 " ")) |
1170 | |
1171 (defun tex-show-print-queue () | |
1172 "Show the print queue that \\[tex-print] put your job on. | |
1577 | 1173 Runs the shell command defined by `tex-show-queue-command'." |
85 | 1174 (interactive) |
1175 (if (tex-shell-running) | |
1176 (tex-kill-job) | |
1177 (tex-start-shell)) | |
10572
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
1178 (tex-send-command tex-show-queue-command) |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
1179 (tex-display-shell)) |
85 | 1180 |
1181 (defun tex-bibtex-file () | |
1182 "Run BibTeX on the current buffer's file." | |
1183 (interactive) | |
1184 (if (tex-shell-running) | |
1185 (tex-kill-job) | |
1186 (tex-start-shell)) | |
1187 (let ((tex-out-file | |
1188 (tex-append (file-name-nondirectory (buffer-file-name)) "")) | |
1189 (file-dir (file-name-directory (buffer-file-name)))) | |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1190 (tex-send-command tex-shell-cd-command file-dir) |
10572
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
1191 (tex-send-command tex-bibtex-command tex-out-file)) |
c8717227f621
(tex-display-shell): Pass nil as arg to
Richard M. Stallman <rms@gnu.org>
parents:
10341
diff
changeset
|
1192 (tex-display-shell)) |
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1193 |
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1194 (run-hooks 'tex-mode-load-hook) |
85 | 1195 |
584 | 1196 (provide 'tex-mode) |
1197 | |
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1198 ;;; tex-mode.el ends here |
741
587f7a98341d
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
739
diff
changeset
|
1199 |