Mercurial > emacs
annotate lisp/textmodes/tex-mode.el @ 5020:94de08fd8a7c
(Fnext_single_property_change): Fix missing \n\.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Mon, 15 Nov 1993 06:41:45 +0000 |
| parents | 550746214170 |
| children | a7b2df620d1a |
| 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 |
|
840
113281b361ec
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
814
diff
changeset
|
3 ;; Copyright (C) 1985, 1986, 1989, 1992 Free Software Foundation, Inc. |
|
113281b361ec
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
814
diff
changeset
|
4 |
|
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
5 ;; Maintainer: Edward M. Reingold <reingold@cs.uiuc.edu> |
|
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, |
|
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
9 ;; Stephen Gildea, Michael Prange, and Jacob Gore. |
|
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 | |
| 24 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
| 25 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
| 26 | |
|
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
27 ;;; Code: |
|
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
758
diff
changeset
|
28 |
|
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
29 (require 'comint) |
|
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
30 (require 'compile) |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
31 |
| 957 | 32 ;;;###autoload |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
33 (defvar tex-shell-file-name nil |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
34 "*If non-nil, is file name to use for the subshell in which TeX is run.") |
| 85 | 35 |
| 957 | 36 ;;;###autoload |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
37 (defvar tex-directory "." |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
38 "*Directory in which temporary files are left. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
39 You can make this /tmp if your TEXINPUTS has no relative directories in it |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
40 and you don't try to apply \\[tex-region] or \\[tex-buffer] when there are |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
41 \\input commands with relative directories.") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
42 |
| 957 | 43 ;;;###autoload |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
44 (defvar tex-offer-save t |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
45 "*If non-nil, ask about saving modified buffers before \\[tex-file] is run.") |
| 85 | 46 |
| 957 | 47 ;;;###autoload |
| 85 | 48 (defvar tex-run-command "tex" |
| 49 "*Command used to run TeX subjob. | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
50 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
51 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
52 this string.") |
| 85 | 53 |
| 957 | 54 ;;;###autoload |
| 85 | 55 (defvar latex-run-command "latex" |
| 56 "*Command used to run LaTeX subjob. | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
57 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
58 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
59 this string.") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
60 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
61 (defvar standard-latex-block-names |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
62 '("abstract" "array" "center" "description" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
63 "displaymath" "document" "enumerate" "eqnarray" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
64 "eqnarray*" "equation" "figure" "figure*" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
65 "flushleft" "flushright" "itemize" "letter" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
66 "list" "minipage" "picture" "quotation" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
67 "quote" "slide" "sloppypar" "tabbing" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
68 "table" "table*" "tabular" "tabular*" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
69 "thebibliography" "theindex*" "titlepage" "trivlist" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
70 "verbatim" "verbatim*" "verse") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
71 "Standard LaTeX block names.") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
72 |
| 957 | 73 ;;;###autoload |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
74 (defvar latex-block-names nil |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
75 "*User defined LaTeX block names. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
76 Combined with `standard-latex-block-names' for minibuffer completion.") |
| 85 | 77 |
| 957 | 78 ;;;###autoload |
| 85 | 79 (defvar slitex-run-command "slitex" |
| 80 "*Command used to run SliTeX subjob. | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
81 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
82 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
83 this string.") |
| 85 | 84 |
| 957 | 85 ;;;###autoload |
| 85 | 86 (defvar tex-bibtex-command "bibtex" |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
87 "*Command used by `tex-bibtex-file' to gather bibliographic data. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
88 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
89 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
90 this string.") |
| 85 | 91 |
| 957 | 92 ;;;###autoload |
| 85 | 93 (defvar tex-dvi-print-command "lpr -d" |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
94 "*Command used by \\[tex-print] to print a .dvi file. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
95 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
96 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
97 this string.") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
98 |
| 957 | 99 ;;;###autoload |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
100 (defvar tex-alt-dvi-print-command "lpr -d" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
101 "*Command used by \\[tex-print] with a prefix arg to print a .dvi file. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
102 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
103 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
104 this string. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
105 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
106 If two printers are not enough of a choice, you can define the value |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
107 of tex-alt-dvi-print-command to be an expression that asks what you want; |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
108 for example, |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
109 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
110 (setq tex-alt-dvi-print-command |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
111 '(format \"lpr -P%s\" (read-string \"Use printer: \"))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
112 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
113 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
|
114 use.") |
| 85 | 115 |
| 957 | 116 ;;;###autoload |
| 85 | 117 (defvar tex-dvi-view-command nil |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
118 "*Command used by \\[tex-view] to display a .dvi file. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
119 If this string contains an asterisk (*), it will be replaced by the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
120 filename; if not, the name of the file, preceded by blank, will be added to |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
121 this string. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
122 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
123 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
|
124 window system being used. For example, |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
125 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
126 (setq tex-dvi-view-command |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
127 (if (eq window-system 'x) \"xdvi\" \"dvi2tty * | cat -s\")) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
128 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
129 would tell \\[tex-view] use xdvi under X windows and to use dvi2tty |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
130 otherwise.") |
| 85 | 131 |
| 957 | 132 ;;;###autoload |
| 85 | 133 (defvar tex-show-queue-command "lpq" |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
134 "*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
|
135 Should show the queue(s) that \\[tex-print] puts jobs on.") |
| 85 | 136 |
| 957 | 137 ;;;###autoload |
| 85 | 138 (defvar tex-default-mode 'plain-tex-mode |
| 139 "*Mode to enter for a new file that might be either TeX or LaTeX. | |
| 140 This variable is used when it can't be determined whether the file | |
| 141 is plain TeX or LaTeX or what because the file contains no commands. | |
| 142 Normally set to either 'plain-tex-mode or 'latex-mode.") | |
| 143 | |
| 957 | 144 ;;;###autoload |
| 85 | 145 (defvar tex-open-quote "``" |
| 146 "*String inserted by typing \\[tex-insert-quote] to open a quotation.") | |
| 147 | |
| 957 | 148 ;;;###autoload |
| 85 | 149 (defvar tex-close-quote "''" |
| 150 "*String inserted by typing \\[tex-insert-quote] to close a quotation.") | |
| 151 | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
152 (defvar tex-last-temp-file nil |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
153 "Latest temporary file generated by \\[tex-region] and \\[tex-buffer]. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
154 Deleted when the \\[tex-region] or \\[tex-buffer] is next run, or when the |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
155 tex-shell goes away.") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
156 |
| 85 | 157 (defvar tex-command nil |
| 158 "Command to run TeX. | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
159 The name of the file, preceded by a blank, will be added to this string.") |
| 85 | 160 |
| 161 (defvar tex-trailer nil | |
| 162 "String appended after the end of a region sent to TeX by \\[tex-region].") | |
| 163 | |
| 164 (defvar tex-start-of-header nil | |
| 165 "String used by \\[tex-region] to delimit the start of the file's header.") | |
| 166 | |
| 167 (defvar tex-end-of-header nil | |
| 168 "String used by \\[tex-region] to delimit the end of the file's header.") | |
| 169 | |
| 170 (defvar tex-shell-cd-command "cd" | |
| 171 "Command to give to shell running TeX to change directory. | |
| 172 The value of tex-directory will be appended to this, separated by a space.") | |
| 173 | |
| 174 (defvar tex-zap-file nil | |
| 175 "Temporary file name used for text being sent as input to TeX. | |
| 176 Should be a simple file name with no extension or directory specification.") | |
| 177 | |
| 178 (defvar tex-last-buffer-texed nil | |
| 179 "Buffer which was last TeXed.") | |
| 180 | |
| 181 (defvar tex-print-file nil | |
| 182 "File name that \\[tex-print] prints. | |
| 183 Set by \\[tex-region], \\[tex-buffer], and \\[tex-file].") | |
| 184 | |
| 185 (defvar tex-mode-syntax-table nil | |
| 186 "Syntax table used while in TeX mode.") | |
| 187 | |
| 188 (defun tex-define-common-keys (keymap) | |
| 189 "Define the keys that we want defined both in TeX mode and in the tex-shell." | |
| 190 (define-key keymap "\C-c\C-k" 'tex-kill-job) | |
| 191 (define-key keymap "\C-c\C-l" 'tex-recenter-output-buffer) | |
| 192 (define-key keymap "\C-c\C-q" 'tex-show-print-queue) | |
| 193 (define-key keymap "\C-c\C-p" 'tex-print) | |
| 194 (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
|
195 |
|
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
196 (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
|
197 |
|
be43750c20d2
(tex-define-common-keys): Define menu items.
Richard M. Stallman <rms@gnu.org>
parents:
4768
diff
changeset
|
198 (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
|
199 (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
|
200 '("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
|
201 (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
|
202 '("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
|
203 (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
|
204 '("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
|
205 (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
|
206 (define-key keymap [menu-bar tex tex-view] '("Tex View" . tex-view)) |
| 85 | 207 ) |
| 208 | |
| 209 (defvar tex-mode-map nil "Keymap for TeX mode.") | |
| 210 | |
| 211 (if tex-mode-map | |
| 212 nil | |
| 213 (setq tex-mode-map (make-sparse-keymap)) | |
| 214 (tex-define-common-keys tex-mode-map) | |
| 215 (define-key tex-mode-map "\"" 'tex-insert-quote) | |
| 216 (define-key tex-mode-map "\n" 'tex-terminate-paragraph) | |
| 217 (define-key tex-mode-map "\C-c}" 'up-list) | |
| 218 (define-key tex-mode-map "\C-c{" 'tex-insert-braces) | |
| 219 (define-key tex-mode-map "\C-c\C-r" 'tex-region) | |
| 220 (define-key tex-mode-map "\C-c\C-b" 'tex-buffer) | |
| 221 (define-key tex-mode-map "\C-c\C-f" 'tex-file) | |
| 222 (define-key tex-mode-map "\C-c\C-i" 'tex-bibtex-file) | |
| 223 (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
|
224 (define-key tex-mode-map "\C-c\C-e" 'tex-close-latex-block) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
225 (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
|
226 '("Validate Region" . tex-validate-region)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
227 (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
|
228 '("Validate Buffer" . validate-tex-buffer)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
229 (define-key tex-mode-map [menu-bar tex tex-region] |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
230 '("Tex Region" . tex-region)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
231 (define-key tex-mode-map [menu-bar tex tex-buffer] |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
232 '("Tex Buffer" . tex-buffer)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
233 (define-key tex-mode-map [menu-bar tex tex-file] '("Tex File" . tex-file))) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
234 |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
235 (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
|
236 (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
|
237 (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
|
238 (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
|
239 (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
|
240 (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
|
241 (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
|
242 |
| 85 | 243 |
| 244 (defvar tex-shell-map nil | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
245 "Keymap for the tex-shell. A comint-mode-map with a few additions.") |
| 85 | 246 |
|
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
247 (defvar compare-windows-whitespace nil) ; Pacify the byte-compiler |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
248 |
| 85 | 249 ;;; This would be a lot simpler if we just used a regexp search, |
| 250 ;;; but then it would be too slow. | |
| 256 | 251 ;;;###autoload |
| 85 | 252 (defun tex-mode () |
| 253 "Major mode for editing files of input for TeX, LaTeX, or SliTeX. | |
| 254 Tries to determine (by looking at the beginning of the file) whether | |
| 255 this file is for plain TeX, LaTeX, or SliTeX and calls plain-tex-mode, | |
| 256 latex-mode, or slitex-mode, respectively. If it cannot be determined, | |
| 257 such as if there are no commands in the file, the value of tex-default-mode | |
| 258 is used." | |
| 259 (interactive) | |
| 260 (let (mode slash comment) | |
| 261 (save-excursion | |
| 262 (goto-char (point-min)) | |
| 263 (while (and (setq slash (search-forward "\\" nil t)) | |
| 264 (setq comment (let ((search-end (point))) | |
| 265 (save-excursion | |
| 266 (beginning-of-line) | |
| 267 (search-forward "%" search-end t)))))) | |
| 268 (if (and slash (not comment)) | |
| 269 (setq mode (if (looking-at "documentstyle") | |
| 270 (if (looking-at "documentstyle{slides}") | |
| 271 'slitex-mode | |
| 272 'latex-mode) | |
| 273 'plain-tex-mode)))) | |
| 274 (if mode (funcall mode) | |
| 275 (funcall tex-default-mode)))) | |
|
2598
2189edb30955
Removed spurious comment (obsoleted by ;;;###autoload).
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2588
diff
changeset
|
276 |
| 269 | 277 ;;;###autoload |
|
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
278 (defalias 'TeX-mode 'tex-mode) |
| 269 | 279 ;;;###autoload |
|
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
280 (defalias 'LaTeX-mode 'latex-mode) |
| 85 | 281 |
| 256 | 282 ;;;###autoload |
| 85 | 283 (defun plain-tex-mode () |
| 284 "Major mode for editing files of input for plain TeX. | |
| 285 Makes $ and } display the characters they match. | |
| 286 Makes \" insert `` when it seems to be the beginning of a quotation, | |
| 287 and '' when it appears to be the end; it inserts \" only after a \\. | |
| 288 | |
| 289 Use \\[tex-region] to run TeX on the current region, plus a \"header\" | |
| 290 copied from the top of the file (containing macro definitions, etc.), | |
| 291 running TeX under a special subshell. \\[tex-buffer] does the whole buffer. | |
| 292 \\[tex-file] saves the buffer and then processes the file. | |
| 293 \\[tex-print] prints the .dvi file made by any of these. | |
| 294 \\[tex-view] previews the .dvi file made by any of these. | |
| 295 \\[tex-bibtex-file] runs bibtex on the file of the current buffer. | |
| 296 | |
| 297 Use \\[validate-tex-buffer] to check buffer for paragraphs containing | |
| 298 mismatched $'s or braces. | |
| 299 | |
| 300 Special commands: | |
| 301 \\{tex-mode-map} | |
| 302 | |
| 303 Mode variables: | |
| 304 tex-run-command | |
| 305 Command string used by \\[tex-region] or \\[tex-buffer]. | |
| 306 tex-directory | |
| 307 Directory in which to create temporary files for TeX jobs | |
| 308 run by \\[tex-region] or \\[tex-buffer]. | |
| 309 tex-dvi-print-command | |
| 310 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
|
311 tex-alt-dvi-print-command |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
312 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
|
313 argument) to print a .dvi file. |
| 85 | 314 tex-dvi-view-command |
| 315 Command string used by \\[tex-view] to preview a .dvi file. | |
| 316 tex-show-queue-command | |
| 317 Command string used by \\[tex-show-print-queue] to show the print | |
| 318 queue that \\[tex-print] put your job on. | |
| 319 | |
|
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
320 Entering Plain-tex mode calls the value of `text-mode-hook', then the value |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
321 of `tex-mode-hook', and then the value of `plain-tex-mode-hook'. When the |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
322 special subshell is initiated, the value of `tex-shell-hook' is called." |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
323 |
| 85 | 324 (interactive) |
| 325 (tex-common-initialization) | |
| 326 (setq mode-name "TeX") | |
| 327 (setq major-mode 'plain-tex-mode) | |
| 328 (setq tex-command tex-run-command) | |
| 329 (setq tex-start-of-header "%**start of header") | |
| 330 (setq tex-end-of-header "%**end of header") | |
| 331 (setq tex-trailer "\\bye\n") | |
| 332 (run-hooks 'text-mode-hook 'tex-mode-hook 'plain-tex-mode-hook)) | |
| 269 | 333 ;;;###autoload |
|
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
334 (defalias 'plain-TeX-mode 'plain-tex-mode) |
| 85 | 335 |
| 256 | 336 ;;;###autoload |
| 85 | 337 (defun latex-mode () |
| 338 "Major mode for editing files of input for LaTeX. | |
| 339 Makes $ and } display the characters they match. | |
| 340 Makes \" insert `` when it seems to be the beginning of a quotation, | |
| 341 and '' when it appears to be the end; it inserts \" only after a \\. | |
| 342 | |
| 343 Use \\[tex-region] to run LaTeX on the current region, plus the preamble | |
| 344 copied from the top of the file (containing \\documentstyle, etc.), | |
| 345 running LaTeX under a special subshell. \\[tex-buffer] does the whole buffer. | |
| 346 \\[tex-file] saves the buffer and then processes the file. | |
| 347 \\[tex-print] prints the .dvi file made by any of these. | |
| 348 \\[tex-view] previews the .dvi file made by any of these. | |
| 349 \\[tex-bibtex-file] runs bibtex on the file of the current buffer. | |
| 350 | |
| 351 Use \\[validate-tex-buffer] to check buffer for paragraphs containing | |
| 352 mismatched $'s or braces. | |
| 353 | |
| 354 Special commands: | |
| 355 \\{tex-mode-map} | |
| 356 | |
| 357 Mode variables: | |
| 358 latex-run-command | |
| 359 Command string used by \\[tex-region] or \\[tex-buffer]. | |
| 360 tex-directory | |
| 361 Directory in which to create temporary files for LaTeX jobs | |
| 362 run by \\[tex-region] or \\[tex-buffer]. | |
| 363 tex-dvi-print-command | |
| 364 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
|
365 tex-alt-dvi-print-command |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
366 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
|
367 argument) to print a .dvi file. |
| 85 | 368 tex-dvi-view-command |
| 369 Command string used by \\[tex-view] to preview a .dvi file. | |
| 370 tex-show-queue-command | |
| 371 Command string used by \\[tex-show-print-queue] to show the print | |
| 372 queue that \\[tex-print] put your job on. | |
| 373 | |
| 374 Entering Latex mode calls the value of text-mode-hook, then the value of | |
| 375 tex-mode-hook, and then the value of latex-mode-hook. When the special | |
| 376 subshell is initiated, the value of tex-shell-hook is called." | |
| 377 (interactive) | |
| 378 (tex-common-initialization) | |
| 379 (setq mode-name "LaTeX") | |
| 380 (setq major-mode 'latex-mode) | |
| 381 (setq tex-command latex-run-command) | |
| 382 (setq tex-start-of-header "\\documentstyle") | |
| 383 (setq tex-end-of-header "\\begin{document}") | |
| 384 (setq tex-trailer "\\end{document}\n") | |
| 385 (run-hooks 'text-mode-hook 'tex-mode-hook 'latex-mode-hook)) | |
| 386 | |
|
4768
9d84105b1248
(slitex-mode): Add ###autoload magic cookie.
Brian Fox <bfox@gnu.org>
parents:
4376
diff
changeset
|
387 ;;;###autoload |
| 85 | 388 (defun slitex-mode () |
| 389 "Major mode for editing files of input for SliTeX. | |
| 390 Makes $ and } display the characters they match. | |
| 391 Makes \" insert `` when it seems to be the beginning of a quotation, | |
| 392 and '' when it appears to be the end; it inserts \" only after a \\. | |
| 393 | |
| 394 Use \\[tex-region] to run SliTeX on the current region, plus the preamble | |
| 395 copied from the top of the file (containing \\documentstyle, etc.), | |
| 396 running SliTeX under a special subshell. \\[tex-buffer] does the whole buffer. | |
| 397 \\[tex-file] saves the buffer and then processes the file. | |
| 398 \\[tex-print] prints the .dvi file made by any of these. | |
| 399 \\[tex-view] previews the .dvi file made by any of these. | |
| 400 \\[tex-bibtex-file] runs bibtex on the file of the current buffer. | |
| 401 | |
| 402 Use \\[validate-tex-buffer] to check buffer for paragraphs containing | |
| 403 mismatched $'s or braces. | |
| 404 | |
| 405 Special commands: | |
| 406 \\{tex-mode-map} | |
| 407 | |
| 408 Mode variables: | |
| 409 slitex-run-command | |
| 410 Command string used by \\[tex-region] or \\[tex-buffer]. | |
| 411 tex-directory | |
| 412 Directory in which to create temporary files for SliTeX jobs | |
| 413 run by \\[tex-region] or \\[tex-buffer]. | |
| 414 tex-dvi-print-command | |
| 415 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
|
416 tex-alt-dvi-print-command |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
417 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
|
418 argument) to print a .dvi file. |
| 85 | 419 tex-dvi-view-command |
| 420 Command string used by \\[tex-view] to preview a .dvi file. | |
| 421 tex-show-queue-command | |
| 422 Command string used by \\[tex-show-print-queue] to show the print | |
| 423 queue that \\[tex-print] put your job on. | |
| 424 | |
|
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
425 Entering SliTeX mode calls the value of `text-mode-hook', then the value of |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
426 `tex-mode-hook', then the value of `latex-mode-hook', and then the value of |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
427 `slitex-mode-hook'. When the special subshell is initiated, the value of |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
428 `tex-shell-hook' is called." |
| 85 | 429 (interactive) |
| 430 (tex-common-initialization) | |
| 431 (setq mode-name "SliTeX") | |
| 432 (setq major-mode 'slitex-mode) | |
| 433 (setq tex-command slitex-run-command) | |
| 434 (setq tex-start-of-header "\\documentstyle{slides}") | |
| 435 (setq tex-end-of-header "\\begin{document}") | |
| 436 (setq tex-trailer "\\end{document}\n") | |
| 437 (run-hooks | |
| 438 'text-mode-hook 'tex-mode-hook 'latex-mode-hook 'slitex-mode-hook)) | |
| 439 | |
| 440 (defun tex-common-initialization () | |
| 441 (kill-all-local-variables) | |
| 442 (use-local-map tex-mode-map) | |
| 443 (setq local-abbrev-table text-mode-abbrev-table) | |
| 444 (if (null tex-mode-syntax-table) | |
| 445 (let ((char 0)) | |
| 446 (setq tex-mode-syntax-table (make-syntax-table)) | |
| 447 (set-syntax-table tex-mode-syntax-table) | |
| 448 (while (< char ? ) | |
| 449 (modify-syntax-entry char ".") | |
| 450 (setq char (1+ char))) | |
| 451 (modify-syntax-entry ?\C-@ "w") | |
| 452 (modify-syntax-entry ?\t " ") | |
| 453 (modify-syntax-entry ?\n ">") | |
| 454 (modify-syntax-entry ?\f ">") | |
| 455 (modify-syntax-entry ?$ "$$") | |
| 456 (modify-syntax-entry ?% "<") | |
| 457 (modify-syntax-entry ?\\ "/") | |
| 458 (modify-syntax-entry ?\" ".") | |
| 459 (modify-syntax-entry ?& ".") | |
| 460 (modify-syntax-entry ?_ ".") | |
| 461 (modify-syntax-entry ?@ "_") | |
| 462 (modify-syntax-entry ?~ " ") | |
| 463 (modify-syntax-entry ?' "w")) | |
| 464 (set-syntax-table tex-mode-syntax-table)) | |
| 465 (make-local-variable 'paragraph-start) | |
| 466 (setq paragraph-start "^[ \t]*$\\|^[\f\\\\%]") | |
| 467 (make-local-variable 'paragraph-separate) | |
| 468 (setq paragraph-separate paragraph-start) | |
| 469 (make-local-variable 'comment-start) | |
| 470 (setq comment-start "%") | |
| 471 (make-local-variable 'comment-start-skip) | |
| 472 (setq comment-start-skip "\\(\\(^\\|[^\\]\\)\\(\\\\\\\\\\)*\\)\\(%+ *\\)") | |
|
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2265
diff
changeset
|
473 (make-local-variable 'comment-indent-function) |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2265
diff
changeset
|
474 (setq comment-indent-function 'tex-comment-indent) |
| 85 | 475 (make-local-variable 'compare-windows-whitespace) |
| 476 (setq compare-windows-whitespace 'tex-categorize-whitespace) | |
| 477 (make-local-variable 'tex-command) | |
| 478 (make-local-variable 'tex-start-of-header) | |
| 479 (make-local-variable 'tex-end-of-header) | |
| 480 (make-local-variable 'tex-trailer)) | |
| 481 | |
| 482 (defun tex-comment-indent () | |
| 483 (if (looking-at "%%%") | |
| 484 (current-column) | |
| 485 (skip-chars-backward " \t") | |
| 486 (max (if (bolp) 0 (1+ (current-column))) | |
| 487 comment-column))) | |
| 488 | |
| 489 (defun tex-categorize-whitespace (backward-limit) | |
| 490 ;; compare-windows-whitespace is set to this. | |
| 491 ;; This is basically a finite-state machine. | |
| 492 ;; Returns a symbol telling how TeX would treat | |
| 493 ;; the whitespace we are looking at: null, space, or par. | |
| 494 (let ((category 'null) | |
| 495 (not-finished t)) | |
| 496 (skip-chars-backward " \t\n\f" backward-limit) | |
| 497 (while not-finished | |
| 498 (cond ((looking-at "[ \t]+") | |
| 499 (goto-char (match-end 0)) | |
| 500 (if (eql category 'null) | |
| 501 (setq category 'space))) | |
| 502 ((looking-at "\n") | |
| 503 (cond ((eql category 'newline) | |
| 504 (setq category 'par) | |
| 505 (setq not-finished nil)) | |
| 506 (t | |
| 507 (setq category 'newline) ;a strictly internal state | |
| 508 (goto-char (match-end 0))))) | |
| 509 ((looking-at "\f+") | |
| 510 (setq category 'par) | |
| 511 (setq not-finished nil)) | |
| 512 (t | |
| 513 (setq not-finished nil)))) | |
| 514 (skip-chars-forward " \t\n\f") | |
| 515 (if (eql category 'newline) | |
| 516 'space ;TeX doesn't distinguish | |
| 517 category))) | |
| 518 | |
| 519 (defun tex-insert-quote (arg) | |
| 520 "Insert the appropriate quote marks for TeX. | |
|
2836
d95acb2243f9
(tex-insert-quote): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
2598
diff
changeset
|
521 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
|
522 \(normally '') depending on the context. With prefix argument, always |
| 85 | 523 inserts \" characters." |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
524 (interactive "*P") |
| 85 | 525 (if arg |
| 526 (self-insert-command (prefix-numeric-value arg)) | |
| 527 (insert | |
| 528 (cond ((or (bobp) | |
| 529 (save-excursion | |
| 530 (forward-char -1) | |
| 531 (looking-at "\\s(\\|\\s \\|\\s>"))) | |
| 532 tex-open-quote) | |
| 533 ((= (preceding-char) ?\\) | |
| 534 ?\") | |
| 535 (t | |
| 536 tex-close-quote))))) | |
| 537 | |
| 538 (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
|
539 "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
|
540 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
|
541 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
|
542 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
|
543 for the invalidity you want to see." |
| 85 | 544 (interactive) |
|
4376
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
545 (let ((buffer (current-buffer)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
546 (prevpos (point-min)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
547 (linenum nil)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
548 (with-output-to-temp-buffer "*Occur*" |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
549 (princ "Mismatches:\n") |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
550 (save-excursion |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
551 (set-buffer standard-output) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
552 (occur-mode) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
553 (setq occur-buffer buffer) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
554 (setq occur-nlines 0) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
555 (setq occur-pos-list nil)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
556 (save-excursion |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
557 (goto-char (point-max)) |
| 85 | 558 (while (and (not (input-pending-p)) (not (bobp))) |
| 559 (let ((end (point))) | |
|
4376
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
560 ;; Scan the previous paragraph for invalidities. |
| 85 | 561 (search-backward "\n\n" nil 'move) |
| 562 (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
|
563 (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
|
564 start tem) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
565 (beginning-of-line) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
566 (setq start (point)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
567 ;; 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
|
568 ;; in a cumulative fashion. |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
569 (if linenum |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
570 (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
|
571 (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
|
572 (setq prevpos (point)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
573 ;; Mention this mismatch in *Occur*. |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
574 ;; 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
|
575 ;; 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
|
576 ;; 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
|
577 (save-excursion |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
578 (setq tem (point-marker)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
579 (set-buffer standard-output) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
580 (goto-char (point-min)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
581 ;; Skip "Mismatches:" header line. |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
582 (forward-line 1) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
583 (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
|
584 (insert-buffer-substring buffer start end) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
585 (forward-char (- start end)) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
586 (insert (format "%3d: " linenum)))))))) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
587 (save-excursion |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
588 (set-buffer standard-output) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
589 (if (null occur-pos-list) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
590 (insert "None!\n")) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
591 (if (interactive-p) |
|
109294166e68
(validate-tex-buffer): Record mismatches in *Occur*.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
592 (message "%d mismatches found" (length occur-pos-list))))))) |
| 85 | 593 |
| 594 (defun tex-validate-region (start end) | |
| 595 "Check for mismatched braces or $'s in region. | |
| 596 Returns t if no mismatches. Returns nil and moves point to suspect | |
| 597 area if a mismatch is found." | |
| 598 (interactive "r") | |
| 599 (let ((failure-point nil) (max-possible-sexps (- end start))) | |
| 600 (save-excursion | |
| 601 (condition-case () | |
| 602 (save-restriction | |
| 603 (narrow-to-region start end) | |
| 604 (goto-char start) | |
| 605 (while (< 0 (setq max-possible-sexps (1- max-possible-sexps))) | |
| 606 (forward-sexp 1))) | |
| 607 (error | |
| 608 (setq failure-point (point))))) | |
| 609 (if failure-point | |
| 610 (progn | |
| 611 (goto-char failure-point) | |
| 612 nil) | |
| 613 t))) | |
| 614 | |
| 615 (defun tex-terminate-paragraph (inhibit-validation) | |
| 616 "Insert two newlines, breaking a paragraph for TeX. | |
| 617 Check for mismatched braces/$'s in paragraph being terminated. | |
| 618 A prefix arg inhibits the checking." | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
619 (interactive "*P") |
| 85 | 620 (or inhibit-validation |
| 621 (save-excursion | |
| 622 (tex-validate-region | |
| 623 (save-excursion | |
| 624 (search-backward "\n\n" nil 'move) | |
| 625 (point)) | |
| 626 (point))) | |
| 627 (message "Paragraph being closed appears to contain a mismatch")) | |
| 628 (insert "\n\n")) | |
| 629 | |
| 630 (defun tex-insert-braces () | |
| 631 "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
|
632 (interactive "*") |
| 85 | 633 (insert ?\{) |
| 634 (save-excursion | |
| 635 (insert ?}))) | |
| 636 | |
| 637 ;;; Like tex-insert-braces, but for LaTeX. | |
| 638 (defun tex-latex-block (name) | |
| 639 "Creates a matching pair of lines \\begin{NAME} and \\end{NAME} at point. | |
| 640 Puts point on a blank line between them." | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
641 (interactive |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
642 (prog2 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
643 (barf-if-buffer-read-only) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
644 (list |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
645 (completing-read "LaTeX block name: " |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
646 (mapcar 'list |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
647 (append standard-latex-block-names |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
648 latex-block-names)))))) |
| 85 | 649 (let ((col (current-column))) |
| 650 (insert (format "\\begin{%s}\n" name)) | |
| 651 (indent-to col) | |
| 652 (save-excursion | |
| 653 (insert ?\n) | |
| 654 (indent-to col) | |
| 655 (insert-string (format "\\end{%s}" name)) | |
| 656 (if (eobp) (insert ?\n))))) | |
| 657 | |
| 658 (defun tex-last-unended-begin () | |
| 659 "Leave point at the beginning of the last \\begin{...} that is unended." | |
| 660 (while (and (re-search-backward "\\(\\\\begin\\s *{\\)\\|\\(\\\\end\\s *{\\)") | |
| 661 (looking-at "\\\\end{")) | |
| 662 (tex-last-unended-begin))) | |
| 663 | |
| 664 (defun tex-close-latex-block () | |
| 665 "Creates an \\end{...} to match the last unclosed \\begin{...}." | |
| 666 (interactive "*") | |
| 667 (let ((new-line-needed (bolp)) | |
| 668 text indentation) | |
| 669 (save-excursion | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
670 (condition-case nil |
| 85 | 671 (tex-last-unended-begin) |
| 672 (error (error "Couldn't find unended \\begin"))) | |
| 673 (setq indentation (current-column)) | |
| 674 (re-search-forward "\\\\begin\\(\\s *{[^}\n]*}\\)") | |
| 675 (setq text (buffer-substring (match-beginning 1) (match-end 1)))) | |
| 676 (indent-to indentation) | |
| 677 (insert "\\end" text) | |
| 678 (if new-line-needed (insert ?\n)))) | |
| 679 | |
|
2576
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
680 (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
|
681 "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
|
682 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
|
683 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
|
684 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
|
685 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
|
686 \\[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
|
687 |
|
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
688 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
|
689 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
|
690 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
|
691 (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
|
692 (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
|
693 (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
|
694 (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
|
695 (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
|
696 (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
|
697 (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
|
698 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
|
699 ;; 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
|
700 (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
|
701 ;; 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
|
702 ;; 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
|
703 (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
|
704 (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
|
705 (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
|
706 (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
|
707 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
|
708 ;; 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
|
709 ;; 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
|
710 (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
|
711 (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
|
712 (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
|
713 ;; 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
|
714 ;; 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
|
715 (insert ?\)) |
|
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
716 (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
|
717 (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
|
718 (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
|
719 ;; 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
|
720 (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
|
721 (= 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
|
722 nil |
|
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
723 (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
|
724 (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
|
725 (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
|
726 (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
|
727 (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
|
728 ;; 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
|
729 (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
|
730 (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
|
731 (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
|
732 (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
|
733 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
|
734 (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
|
735 ;; 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
|
736 (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
|
737 (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
|
738 (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
|
739 (progn |
|
48318133e7a6
(tex-compilation-parse-errors): Added. At the moment, this would have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2571
diff
changeset
|
740 (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
|
741 (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
|
742 (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
|
743 (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
|
744 (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
|
745 (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
|
746 (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
|
747 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
|
748 (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
|
749 (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
|
750 (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
|
751 (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
|
752 |
| 85 | 753 ;;; Invoking TeX in an inferior shell. |
| 754 | |
| 755 ;;; Why use a shell instead of running TeX directly? Because if TeX | |
| 756 ;;; gets stuck, the user can switch to the shell window and type at it. | |
| 757 | |
| 758 ;;; The utility functions: | |
| 759 | |
| 760 (defun tex-start-shell () | |
| 761 (save-excursion | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
762 (set-buffer |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
763 (make-comint |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
764 "tex-shell" |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
765 (or tex-shell-file-name (getenv "ESHELL") (getenv "SHELL") "/bin/sh") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
766 nil "-v")) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
767 (let ((proc (get-process "tex-shell"))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
768 (set-process-sentinel proc 'tex-shell-sentinel) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
769 (process-kill-without-query proc) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
770 (setq tex-shell-map (copy-keymap comint-mode-map)) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
771 (tex-define-common-keys tex-shell-map) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
772 (use-local-map tex-shell-map) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
773 (run-hooks 'tex-shell-hook) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
774 (while (zerop (buffer-size)) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
775 (sleep-for 1))))) |
| 85 | 776 |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
777 (defun tex-shell-sentinel (proc msg) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
778 (cond ((null (buffer-name (process-buffer proc))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
779 ;; buffer killed |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
780 (set-process-buffer proc nil) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
781 (tex-delete-last-temp-files)) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
782 ((memq (process-status proc) '(signal exit)) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
783 (tex-delete-last-temp-files)))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
784 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
785 (defun tex-set-buffer-directory (buffer directory) |
| 85 | 786 "Set BUFFER's default directory to be DIRECTORY." |
| 787 (setq directory (file-name-as-directory (expand-file-name directory))) | |
| 788 (if (not (file-directory-p directory)) | |
| 789 (error "%s is not a directory" directory) | |
| 790 (save-excursion | |
| 791 (set-buffer buffer) | |
| 792 (setq default-directory directory)))) | |
| 793 | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
794 (defun tex-send-command (command &optional file background) |
|
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
795 "Send COMMAND to tex-shell, substituting optional FILE for *. |
|
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
796 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
|
797 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
|
798 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
|
799 evaluates to a command string." |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
800 (save-excursion |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
801 (let* ((cmd (eval command)) |
|
2265
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
802 (star (string-match "\\*" cmd)) |
|
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
803 (front (substring cmd 0 star)) |
|
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
804 (back (if star (substring cmd (1+ star)) ""))) |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
805 (comint-proc-query (get-process "tex-shell") |
|
2265
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
806 (concat |
|
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
807 (if file (if star (concat front file back) |
|
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
808 (concat cmd " " file)) |
|
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
809 cmd) |
|
daf268a98d5e
* tex-mode.el (tex-send-command): Fix the command sent so that no
Jim Blandy <jimb@redhat.com>
parents:
1577
diff
changeset
|
810 (if background "&\n" "\n")))))) |
| 85 | 811 |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
812 (defun tex-delete-last-temp-files () |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
813 "Delete any junk files from last temp file." |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
814 (if tex-last-temp-file |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
815 (let* ((dir (file-name-directory tex-last-temp-file)) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
816 (list (file-name-all-completions |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
817 (file-name-nondirectory tex-last-temp-file) dir))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
818 (while list |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
819 (delete-file (concat dir (car list))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
820 (setq list (cdr list)))))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
821 |
|
741
587f7a98341d
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
739
diff
changeset
|
822 (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
|
823 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
824 ;;; The commands: |
| 85 | 825 |
| 826 (defun tex-region (beg end) | |
| 827 "Run TeX on the current region, via a temporary file. | |
| 828 The file's name comes from the variable `tex-zap-file' and the | |
| 829 variable `tex-directory' says where to put it. | |
| 830 | |
| 831 If the buffer has a header, the header is given to TeX before the | |
| 832 region itself. The buffer's header is all lines between the strings | |
| 833 defined by `tex-start-of-header' and `tex-end-of-header' inclusive. | |
| 834 The header must start in the first 100 lines of the buffer. | |
| 835 | |
| 836 The value of `tex-trailer' is given to TeX as input after the region. | |
| 837 | |
| 838 The value of `tex-command' specifies the command to use to run TeX." | |
| 839 (interactive "r") | |
| 840 (if (tex-shell-running) | |
| 841 (tex-kill-job) | |
| 842 (tex-start-shell)) | |
| 843 (or tex-zap-file | |
| 844 (setq tex-zap-file (tex-generate-zap-file-name))) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
845 (let* ((temp-buffer (get-buffer-create " TeX-Output-Buffer")) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
846 ; 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
|
847 ; 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
|
848 ; \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
|
849 ; 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
|
850 ; tex-directory is ".". |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
851 (zap-directory |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
852 (file-name-as-directory (expand-file-name tex-directory))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
853 (tex-out-file (concat zap-directory tex-zap-file))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
854 (tex-delete-last-temp-files) |
| 85 | 855 ;; Write the new temp file. |
| 856 (save-excursion | |
| 857 (save-restriction | |
| 858 (widen) | |
| 859 (goto-char (point-min)) | |
| 860 (forward-line 100) | |
| 861 (let ((search-end (point)) | |
| 862 (hbeg (point-min)) (hend (point-min)) | |
| 863 (default-directory zap-directory)) | |
| 864 (goto-char (point-min)) | |
| 865 ;; Initialize the temp file with either the header or nothing | |
| 866 (if (search-forward tex-start-of-header search-end t) | |
| 867 (progn | |
| 868 (beginning-of-line) | |
| 869 (setq hbeg (point)) ;mark beginning of header | |
| 870 (if (search-forward tex-end-of-header nil t) | |
| 871 (progn (forward-line 1) | |
| 872 (setq hend (point))) ;mark end of header | |
| 873 (setq hbeg (point-min))))) ;no header | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
874 (write-region (min hbeg beg) hend |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
875 (concat tex-out-file ".tex") nil nil) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
876 (write-region (max beg hend) end (concat tex-out-file ".tex") t nil)) |
| 85 | 877 (let ((local-tex-trailer tex-trailer)) |
| 878 (set-buffer temp-buffer) | |
| 879 (erase-buffer) | |
| 880 ;; make sure trailer isn't hidden by a comment | |
| 881 (insert-string "\n") | |
| 882 (if local-tex-trailer (insert-string local-tex-trailer)) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
883 (tex-set-buffer-directory temp-buffer zap-directory) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
884 (write-region (point-min) (point-max) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
885 (concat tex-out-file ".tex") t nil)))) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
886 ;; Record the file name to be deleted afterward. |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
887 (setq tex-last-temp-file tex-out-file) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
888 (tex-send-command tex-shell-cd-command zap-directory) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
889 (tex-send-command tex-command tex-out-file) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
890 (setq tex-print-file tex-out-file) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
891 (setq tex-last-buffer-texed (current-buffer)))) |
| 85 | 892 |
| 893 (defun tex-buffer () | |
| 894 "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
|
895 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
|
896 See \\[tex-file] for an alternative." |
| 85 | 897 (interactive) |
| 898 (tex-region (point-min) (point-max))) | |
| 899 | |
| 900 (defun tex-file () | |
| 901 "Prompt to save all buffers and run TeX (or LaTeX) on current buffer's file. | |
| 902 This function is more useful than \\[tex-buffer] when you need the | |
| 903 `.aux' file of LaTeX to have the correct name." | |
| 904 (interactive) | |
| 905 (let ((tex-out-file | |
| 906 (if (buffer-file-name) | |
| 907 (file-name-nondirectory (buffer-file-name)) | |
| 908 (error "Buffer does not seem to be associated with any file"))) | |
| 909 (file-dir (file-name-directory (buffer-file-name)))) | |
| 758 | 910 (if tex-offer-save |
|
741
587f7a98341d
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
739
diff
changeset
|
911 (save-some-buffers)) |
| 85 | 912 (if (tex-shell-running) |
| 913 (tex-kill-job) | |
| 914 (tex-start-shell)) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
915 (tex-send-command tex-shell-cd-command file-dir) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
916 (tex-send-command tex-command tex-out-file)) |
| 85 | 917 (setq tex-last-buffer-texed (current-buffer)) |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
918 (setq tex-print-file (buffer-file-name))) |
| 85 | 919 |
| 920 (defun tex-generate-zap-file-name () | |
| 921 "Generate a unique name suitable for use as a file name." | |
| 922 ;; Include the shell process number and host name | |
| 923 ;; in case there are multiple shells (for same or different user). | |
| 924 (format "#tz%d%s" | |
| 925 (process-id (get-buffer-process "*tex-shell*")) | |
| 926 (tex-strip-dots (system-name)))) | |
| 927 | |
| 928 (defun tex-strip-dots (s) | |
| 929 (setq s (copy-sequence s)) | |
| 930 (while (string-match "\\." s) | |
| 931 (aset s (match-beginning 0) ?-)) | |
| 932 s) | |
| 933 | |
| 934 ;; This will perhaps be useful for modifying TEXINPUTS. | |
| 935 ;; Expand each file name, separated by colons, in the string S. | |
| 936 (defun tex-expand-files (s) | |
| 937 (let (elts (start 0)) | |
| 938 (while (string-match ":" s start) | |
| 939 (setq elts (cons (substring s start (match-beginning 0)) elts)) | |
| 940 (setq start (match-end 0))) | |
| 941 (or (= start 0) | |
| 942 (setq elts (cons (substring s start) elts))) | |
| 943 (mapconcat 'expand-file-name (nreverse elts) ":"))) | |
| 944 | |
| 945 (defun tex-shell-running () | |
| 946 (and (get-process "tex-shell") | |
| 947 (eq (process-status (get-process "tex-shell")) 'run))) | |
| 948 | |
| 949 (defun tex-kill-job () | |
| 950 "Kill the currently running TeX job." | |
| 951 (interactive) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
952 (quit-process (get-process "tex-shell") t)) |
| 85 | 953 |
| 954 (defun tex-recenter-output-buffer (linenum) | |
| 955 "Redisplay buffer of TeX job output so that most recent output can be seen. | |
| 956 The last line of the buffer is displayed on | |
| 957 line LINE of the window, or centered if LINE is nil." | |
| 958 (interactive "P") | |
| 959 (let ((tex-shell (get-buffer "*tex-shell*")) | |
| 960 (old-buffer (current-buffer))) | |
| 961 (if (null tex-shell) | |
| 962 (message "No TeX output buffer") | |
| 963 (pop-to-buffer tex-shell) | |
| 964 (bury-buffer tex-shell) | |
| 965 (goto-char (point-max)) | |
| 966 (recenter (if linenum | |
| 967 (prefix-numeric-value linenum) | |
| 968 (/ (window-height) 2))) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
969 (pop-to-buffer old-buffer)))) |
| 85 | 970 |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
971 (defun tex-print (&optional alt) |
| 85 | 972 "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file]. |
| 1577 | 973 Runs the shell command defined by `tex-dvi-print-command'. If prefix argument |
| 974 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
|
975 (interactive "P") |
| 85 | 976 (let ((print-file-name-dvi (tex-append tex-print-file ".dvi")) |
| 977 test-name) | |
| 978 (if (and (not (equal (current-buffer) tex-last-buffer-texed)) | |
| 979 (file-newer-than-file-p | |
| 980 (setq test-name (tex-append (buffer-file-name) ".dvi")) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
981 print-file-name-dvi)) |
| 85 | 982 (setq print-file-name-dvi test-name)) |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
983 (if (not (file-exists-p print-file-name-dvi)) |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
984 (error "No appropriate `.dvi' file could be found") |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
985 (tex-send-command |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
986 (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
|
987 print-file-name-dvi t)))) |
| 85 | 988 |
|
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
989 (defun tex-alt-print () |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
990 "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file]. |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
991 Runs the shell command defined by tex-alt-dvi-print-command." |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
992 (interactive) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
993 (tex-print t)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
994 |
| 85 | 995 (defun tex-view () |
| 996 "Preview the last `.dvi' file made by running TeX under Emacs. | |
| 997 This means, made using \\[tex-region], \\[tex-buffer] or \\[tex-file]. | |
| 998 The variable `tex-dvi-view-command' specifies the shell command for preview." | |
| 999 (interactive) | |
| 1000 (let ((tex-dvi-print-command tex-dvi-view-command)) | |
| 1001 (tex-print))) | |
| 1002 | |
| 1003 (defun tex-append (file-name suffix) | |
| 1004 "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
|
1005 Pascal-based TeX scans for the first period, C TeX uses the last. |
| 85 | 1006 No period is retained immediately before SUFFIX, |
| 1007 so normally SUFFIX starts with one." | |
| 1008 (if (stringp file-name) | |
|
4917
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1009 (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
|
1010 trial-name) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1011 ;; try spliting on first period |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1012 (setq trial-name |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1013 (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
|
1014 (substring file 0 |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1015 (string-match "\\." file)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1016 suffix)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1017 (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
|
1018 (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
|
1019 trial-name |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1020 ;; not found, so split on last period |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1021 (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
|
1022 (substring file 0 |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1023 (string-match "\\.[^.]*$" file)) |
|
550746214170
(tex-alt-print): New function for menu bar.
Richard M. Stallman <rms@gnu.org>
parents:
4908
diff
changeset
|
1024 suffix))) |
| 85 | 1025 " ")) |
| 1026 | |
| 1027 (defun tex-show-print-queue () | |
| 1028 "Show the print queue that \\[tex-print] put your job on. | |
| 1577 | 1029 Runs the shell command defined by `tex-show-queue-command'." |
| 85 | 1030 (interactive) |
| 1031 (if (tex-shell-running) | |
| 1032 (tex-kill-job) | |
| 1033 (tex-start-shell)) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1034 (tex-send-command tex-show-queue-command)) |
| 85 | 1035 |
| 1036 (defun tex-bibtex-file () | |
| 1037 "Run BibTeX on the current buffer's file." | |
| 1038 (interactive) | |
| 1039 (if (tex-shell-running) | |
| 1040 (tex-kill-job) | |
| 1041 (tex-start-shell)) | |
| 1042 (let ((tex-out-file | |
| 1043 (tex-append (file-name-nondirectory (buffer-file-name)) "")) | |
| 1044 (file-dir (file-name-directory (buffer-file-name)))) | |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1045 (tex-send-command tex-shell-cd-command file-dir) |
|
2588
b0a1846fe3b8
Doc fixes. Also a few teaks to pacify the byte-compiler.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2576
diff
changeset
|
1046 (tex-send-command tex-bibtex-command tex-out-file))) |
|
739
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1047 |
|
0bb85f26b79c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
657
diff
changeset
|
1048 (run-hooks 'tex-mode-load-hook) |
| 85 | 1049 |
| 584 | 1050 (provide 'tex-mode) |
| 1051 | |
|
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1052 ;;; tex-mode.el ends here |
|
741
587f7a98341d
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
739
diff
changeset
|
1053 |
