annotate yatex.el @ 1:912f6e258cba

Support %#! usage to specify latex command. Change default fill-prefix to "".
author yuuji
date Wed, 22 Jul 1992 19:43:36 +0000
parents 9c72144baf95
children 191610912c8b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
1 ;;; -*- Emacs-Lisp -*-
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
2 ;;; Yet Another tex-mode for emacs.
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
3 ;;; yatex.el rev.1.28
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
4 ;;; (c)1991 by Hirose Yuuji.[yuuji@ae.keio.ac.jp]
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
5 ;;; Last modified Mon Jul 20 21:46:13 1992 on figaro
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
6
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
7 (provide 'yatex-mode)
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
8 (defconst YaTeX-revision-number "1.28"
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
9 "Revision number of running yatex.el"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
10 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
11
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
12 ;---------- Local variables ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
13 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
14 ;; Initialize local variable for yatex-mode.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
15 ;; Preserving user preferred definitions.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
16 ;; ** Check all of these defvar-ed values **
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
17 ;; ** and setq other values more suitable **
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
18 ;; ** for your site, if nedded. **
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
19 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
20 (defvar YaTeX-prefix "\^C"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
21 "Prefix key to trigger YaTeX functions.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
22 You can select favorite prefix key by setq in your ~/.emacs."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
23 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
24 (defvar YaTeX-open-lines 1
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
25 "Blank lines between text and \??{??}"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
26 )
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
27 (defvar YaTeX-fill-prefix ""
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
28 "fill-prefix used for auto-fill-mode.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
29 The defalut value is single TAB."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
30 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
31 (defvar YaTeX-user-completion-table "~/.yatexrc"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
32 "Default filename in which user completion table is saved."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
33 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
34 (defvar tex-command "jlatex"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
35 "Default command for compiling LaTeX text."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
36 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
37 (defvar dvi2-command ;previewer command for your site
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
38 (concat
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
39 "xdvi -geo +0+0 -s 4 -display "
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
40 (getenv "DISPLAY"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
41 "Default previewer command including its option.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
42 This default value is for X window system. If you want to use this
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
43 default, you have to make sure the environment variable DISPLAY is
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
44 correctly set."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
45 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
46 (defvar latex-warning-regexp "line.* [0-9]*"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
47 "Regular expression of line number of warning message by latex command."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
48 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
49 (defvar latex-error-regexp "l\\.[1-9][0-9]*"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
50 "Regular expression of line number of latex error. Perhaps your latex
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
51 command stops at this error message with line number of LaTeX source text."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
52 )
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
53 (defvar latex-dos-emergency-message
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
54 ;;"Emergency stop" ;<- for Micro tex, ASCII-pTeX 1.6
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
55 "No pages of output." ;<- for ASCII-pTeX 1.7
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
56 "Because Demacs (GNU Emacs on DOS) cannot have pararell process, the
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
57 latex command which is stopping on a LaTeX error, is terminated by Demacs.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
58 Many latex command on DOS display some message when it is terminated by
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
59 other process, user or OS. Define this variable a message string of your
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
60 latex command on DOS shows at abnormal termination.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
61 Remember Demacs's call-process function is not oriented for interactive
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
62 process."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
63 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
64
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
65 ;------------ Completion table ------------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
66 ; Set tex-section-like command possible completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
67 (setq section-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
68 '(("part") ("section") ("subsection") ("subsubsection")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
69 ("author") ("documentstyle") ("pagestyle")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
70 ("documentstyle[10pt]") ("documentstyle[11pt]")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
71 ("documentstyle[12pt]")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
72 ("item[]") ("title") ("chapter") ("part") ("paragraph")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
73 ("subparagraph") ("underline") ("label") ("footnote")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
74 ("hspace*") ("vspace*") ("bibliography") ("bibitem[]") ("cite[]")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
75 ("nocite") ("input") ("include") ("includeonly") ("mbox") ("hbox")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
76 ("caption") ("newcommand") ("setlength") ("addtolength")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
77 ("newenvironment") ("newtheorem")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
78 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
79 (defvar user-section-table nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
80
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
81 ; Set style possible completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
82 (setq article-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
83 '(("article") ("jarticle") ("report") ("jreport") ("jbook")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
84 ("4em") ("2ex")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
85 ("empty") ("headings") ("\\textwidth")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
86 ("\\oddsidemargin") ("\\evensidemargin")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
87 ("\\textheight") ("\\topmargin")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
88 ("\\bottommargin") ("\\footskip") ("\\footheight")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
89 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
90 (defvar user-article-table nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
91
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
92 ; Set tex-environment possible completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
93 (setq env-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
94 '(("quote") ("quotation") ("center") ("verse") ("document")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
95 ("verbatim") ("itemize") ("enumerate") ("description")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
96 ("list{}") ("tabular") ("table") ("titlepage")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
97 ("sloppypar") ("ref") ("quotation") ("quote") ("picture")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
98 ("eqnarray") ("figure") ("equation") ("abstract") ("array")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
99 ("thebibliography") ("theindex")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
100 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
101 (defvar user-env-table nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
102
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
103 ; Set {\Large }-like comletion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
104 (setq fontsize-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
105 '(("rm") ("em") ("bf") ("boldmath") ("it") ("sl") ("sf") ("sc") ("tt")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
106 ("dg") ("dm")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
107 ("tiny") ("scriptsize") ("footnotesize") ("small")("normalsize")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
108 ("large") ("Large") ("LARGE") ("huge") ("Huge")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
109 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
110 (defvar user-fontsize-table nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
111
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
112 (setq singlecmd-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
113 '(("maketitle") ("sloppy")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
114 ("alpha") ("beta") ("gamma") ("delta") ("epsilon") ("varepsilon")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
115 ("zeta") ("eta") ("theta")("vartheta") ("iota") ("kappa")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
116 ("lambda") ("mu") ("nu") ("xi") ("pi") ("varpi") ("rho") ("varrho")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
117 ("sigma") ("varsigma") ("tau") ("upsilon") ("phi") ("varphi")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
118 ("chi") ("psi") ("omega") ("Gamma") ("Delta") ("Theta") ("Lambda")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
119 ("Xi") ("Pi") ("Sigma") ("Upsilon") ("Phi") ("Psi") ("Omega")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
120 ("LaTeX") ("TeX")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
121 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
122 (defvar user-singlecmd-table nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
123
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
124 ;---------- Key mode map ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
125 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
126 ;; Create new key map: YaTeX-mode-map
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
127 ;; Do not change this section.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
128 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
129 (defvar YaTeX-mode-map nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
130 "Keymap used in YaTeX mode."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
131 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
132 (defvar YaTeX-compilation-mode-map nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
133 "Keymap userd in YaTeX compilation buffer."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
134 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
135
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
136 ;---------- Define deafult key bindings on YaTeX mode map ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
137 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
138 ;; Define key table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
139 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
140 (if YaTeX-mode-map
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
141 nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
142 (global-unset-key (concat YaTeX-prefix "b"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
143 (setq YaTeX-mode-map (make-sparse-keymap))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
144 (define-key YaTeX-mode-map (concat YaTeX-prefix "tj")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
145 'YaTeX-compile)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
146 (define-key YaTeX-mode-map (concat YaTeX-prefix "tx")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
147 'YaTeX-preview)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
148 (define-key YaTeX-mode-map (concat YaTeX-prefix "tv")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
149 'YaTeX-view-error)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
150 (define-key YaTeX-mode-map (concat YaTeX-prefix "tb")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
151 '(lambda () (interactive) (YaTeX-insert-string "\\")))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
152 (define-key YaTeX-mode-map (concat YaTeX-prefix "'")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
153 'YaTeX-prev-error)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
154 (define-key YaTeX-mode-map (concat YaTeX-prefix " ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
155 'YaTeX-do-completion)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
156 (define-key YaTeX-mode-map (concat YaTeX-prefix "v")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
157 'YaTeX-version)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
158
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
159 (define-key YaTeX-mode-map "\"" 'YaTeX-insert-quote)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
160 (define-key YaTeX-mode-map (concat YaTeX-prefix "{")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
161 'YaTeX-insert-braces)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
162 (define-key YaTeX-mode-map (concat YaTeX-prefix "}")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
163 'YaTeX-insert-braces-region)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
164 (define-key YaTeX-mode-map (concat YaTeX-prefix "d")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
165 'YaTeX-insert-dollar)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
166 (define-key YaTeX-mode-map (concat YaTeX-prefix "\\")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
167 '(lambda () (interactive) (YaTeX-insert-string "$\\backslash$")))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
168 (define-key YaTeX-mode-map (concat YaTeX-prefix "bd")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
169 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
170 (YaTeX-insert-begin-end "document" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
171 (define-key YaTeX-mode-map (concat YaTeX-prefix "Bd")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
172 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
173 (YaTeX-insert-begin-end "document" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
174 (define-key YaTeX-mode-map (concat YaTeX-prefix "bD")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
175 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
176 (YaTeX-insert-begin-end "description" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
177 (define-key YaTeX-mode-map (concat YaTeX-prefix "BD")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
178 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
179 (YaTeX-insert-begin-end "description" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
180 (define-key YaTeX-mode-map (concat YaTeX-prefix "be")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
181 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
182 (YaTeX-insert-begin-end "enumerate" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
183 (define-key YaTeX-mode-map (concat YaTeX-prefix "Be")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
184 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
185 (YaTeX-insert-begin-end "enumerate" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
186 (define-key YaTeX-mode-map (concat YaTeX-prefix "bi")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
187 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
188 (YaTeX-insert-begin-end "itemize" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
189 (define-key YaTeX-mode-map (concat YaTeX-prefix "Bi")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
190 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
191 (YaTeX-insert-begin-end "itemize" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
192 (define-key YaTeX-mode-map (concat YaTeX-prefix "bt")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
193 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
194 (YaTeX-insert-begin-end "tabbing" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
195 (define-key YaTeX-mode-map (concat YaTeX-prefix "Bt")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
196 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
197 (YaTeX-insert-begin-end "tabbing" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
198 (define-key YaTeX-mode-map (concat YaTeX-prefix "bT")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
199 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
200 (YaTeX-insert-begin-end "tabular" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
201 (define-key YaTeX-mode-map (concat YaTeX-prefix "BT")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
202 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
203 (YaTeX-insert-begin-end "tabular" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
204 (define-key YaTeX-mode-map (concat YaTeX-prefix "bq")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
205 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
206 (YaTeX-insert-begin-end "quote" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
207 (define-key YaTeX-mode-map (concat YaTeX-prefix "Bq")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
208 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
209 (YaTeX-insert-begin-end "quote" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
210 (define-key YaTeX-mode-map (concat YaTeX-prefix "bQ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
211 '(lambda (arg) (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
212 (YaTeX-insert-begin-end "quotation" arg)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
213 (define-key YaTeX-mode-map (concat YaTeX-prefix "BQ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
214 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
215 (YaTeX-insert-begin-end "quotation" t)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
216 (define-key YaTeX-mode-map (concat YaTeX-prefix "b ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
217 'YaTeX-make-begin-end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
218 (define-key YaTeX-mode-map (concat YaTeX-prefix "B ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
219 'YaTeX-make-begin-end-region)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
220 (define-key YaTeX-mode-map (concat YaTeX-prefix "s")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
221 'YaTeX-make-section)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
222 (define-key YaTeX-mode-map (concat YaTeX-prefix "l")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
223 'YaTeX-make-fontsize)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
224 (define-key YaTeX-mode-map (concat YaTeX-prefix "L")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
225 'YaTeX-make-fontsize-region)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
226 (define-key YaTeX-mode-map (concat YaTeX-prefix "m")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
227 'YaTeX-make-singlecmd)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
228 (define-key YaTeX-mode-map (concat YaTeX-prefix "\C-m")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
229 '(lambda () (interactive) (YaTeX-insert-string "\\\\")))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
230 (if (eq system-type 'ms-dos)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
231 (define-key YaTeX-mode-map (concat YaTeX-prefix "\^L")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
232 '(lambda () (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
233 (set-screen-height 24) (recenter))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
234 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
235
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
236 (if YaTeX-compilation-mode-map nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
237 (setq YaTeX-compilation-mode-map (make-keymap))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
238 (suppress-keymap YaTeX-compilation-mode-map t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
239 (define-key YaTeX-compilation-mode-map " "
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
240 'YaTeX-jump-error-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
241 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
242
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
243 ;---------- Customize as you like above ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
244
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
245 ;---------- Define other variable ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
246 (defvar env-name "document") ;Initial tex-environment completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
247 (defvar section-name "documentstyle[12pt]") ;Initial tex-section completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
248 (defvar fontsize-name "large") ;Initial fontsize completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
249 (defvar single-command "maketitle") ;Initial LaTeX single command
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
250 (defvar YaTeX-user-table-has-read nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
251 "Flag that means whether user completion table has read or not."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
252 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
253 (defvar yatex-mode-hook nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
254 "List of functions to be called after .tex file is read
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
255 and yatex-mode starts.")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
256
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
257 ;---------- Produce YaTeX-mode ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
258 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
259 ;; Major mode definition
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
260 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
261 (defun yatex-mode ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
262 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
263 (kill-all-local-variables)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
264 (setq major-mode 'YaTeX-mode)
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
265 (setq mode-name "‚â‚Ä‚Ó‚à[‚Ç")
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
266 (turn-on-auto-fill)
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
267 (make-local-variable 'kanji-display-code)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
268 (make-local-variable 'kanji-fileio-code)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
269 (if (eq system-type 'ms-dos)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
270 (setq YaTeX-kanji-code 1)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
271 (defvar YaTeX-kanji-code 2))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
272 (setq kanji-display-code YaTeX-kanji-code
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
273 kanji-fileio-code YaTeX-kanji-code)
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
274 (make-local-variable 'fill-column)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
275 (make-local-variable 'fill-prefix)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
276 (setq fill-column 72
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
277 fill-prefix YaTeX-fill-prefix)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
278 (use-local-map YaTeX-mode-map)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
279 (if (eq system-type 'ms-dos)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
280 (set-screen-height 24))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
281 (if YaTeX-user-table-has-read nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
282 (YaTeX-read-user-completion-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
283 (setq YaTeX-user-table-has-read t))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
284 (run-hooks 'yatex-mode-hook)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
285 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
286
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
287 ;---------- Define YaTeX-mode functions ----------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
288 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
289 ;; YaTeX-mode functions
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
290 ;;;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
291 (defun YaTeX-insert-begin-end (env arg)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
292 "Insert \begin{mode-name} and \end{mode-name}."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
293 (if arg
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
294 (save-excursion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
295 (if (> (point) (mark)) (exchange-point-and-mark))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
296 (insert "\\begin{" env "}\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
297 (exchange-point-and-mark)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
298 (insert "\\end{" env "}\n"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
299 (delete-blank-lines)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
300 (insert "\\begin{" env "}\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
301 (newline (1+ (* 2 YaTeX-open-lines)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
302 (insert "\\end{" env "}\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
303 (previous-line (+ 2 YaTeX-open-lines)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
304 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
305
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
306 (defun YaTeX-exist-completion-table (elm table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
307 "Return nil, if single list element:elm was
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
308 not found in possible completion table."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
309 (while (not (or (null table) (equal elm (car table))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
310 (setq table (cdr table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
311 table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
312 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
313
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
314 (defun YaTeX-make-begin-end (arg)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
315 "Make LaTeX environment command of \\begin{env.} ... \\end{env.}
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
316 by completing read.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
317 If you invoke this command with universal argument,
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
318 \(C-u or ESC-1 is typical prefix to invoke commands with ARG.\)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
319 you can put REGION into that environment between \\begin and \\end."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
320 (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
321 (let*
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
322 ((mode (if arg " region" ""))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
323 (env
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
324 (completing-read
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
325 (format "Begin environment%s(default %s): " mode env-name)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
326 (append user-env-table env-table) nil nil)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
327 (if (string= env "")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
328 (setq env env-name))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
329 (setq env-name env)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
330 (if (not (YaTeX-exist-completion-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
331 (list env-name) (append user-env-table env-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
332 (setq user-env-table (cons (list env-name) user-env-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
333 (YaTeX-insert-begin-end env-name arg))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
334 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
335
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
336 (defun YaTeX-make-begin-end-region ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
337 "Call YaTeX-make-begin-end with ARG to specify region mode."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
338 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
339 (YaTeX-make-begin-end t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
340 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
341
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
342 (defun YaTeX-make-section (arg)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
343 "Make LaTeX \\section{} type command with completing read.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
344 With ARG of numeric, you can specify the number of argument of
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
345 LaTeX command.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
346 For example, if you want to produce LaTeX command
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
347
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
348 \\addtolength{\\topmargin}{8mm}
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
349
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
350 which has two argument. You can produce that sequence by typing...
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
351 ESC 2 C-c s add SPC RET \\topm SPC RET 8mm RET
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
352 \(by default\)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
353 You can complete symbol at LaTeX command and 1st argument."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
354 (interactive "p")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
355 (let*
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
356 ((section
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
357 (completing-read
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
358 (format "\\???{} (default %s): " section-name)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
359 (append user-section-table section-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
360 nil nil))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
361 (section (if (string= section "") section-name section))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
362 (title
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
363 (completing-read (concat "\\" section "{???}: ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
364 (append user-article-table article-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
365 nil nil)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
366 (setq section-name section)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
367 (if (not (YaTeX-exist-completion-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
368 (list section-name) (append user-section-table section-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
369 (setq user-section-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
370 (cons (list section-name) user-section-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
371 (insert "\\" section-name "{" title "}")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
372 (let ((j 2))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
373 (while (<= j arg)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
374 (insert (concat "{" (read-string (format "Argument %d: " j))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
375 (insert "}")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
376 (setq j (1+ j)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
377 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
378 (if (string= title "") (forward-char -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
379 nil))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
380 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
381
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
382 ;(defun YaTeX-make-section-region ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
383 ; "Call YaTeX-make-section with ARG to specify region mode."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
384 ; (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
385 ; (YaTeX-make-section t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
386 ;)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
387
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
388 (defun YaTeX-make-fontsize (arg)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
389 "Make completion like {\\large ...} or {\\slant ...} in minibuffer.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
390 If you invoke this command with universal argument, you can put region
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
391 into {\\xxx } braces.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
392 \(C-u or ESC-1 are default key bindings of universal-argument.\)"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
393 (interactive "P")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
394 (let* ((mode (if arg "region" ""))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
395 (fontsize
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
396 (completing-read
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
397 (format "{\\??? %s} (default %s): " mode fontsize-name)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
398 (append user-fontsize-table fontsize-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
399 nil nil )))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
400 (if (string= fontsize "")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
401 (setq fontsize fontsize-name))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
402 (setq fontsize-name fontsize)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
403 (if (not (YaTeX-exist-completion-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
404 (list fontsize-name)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
405 (append user-fontsize-table fontsize-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
406 (setq user-fontsize-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
407 (cons (list fontsize-name) user-fontsize-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
408 (if arg
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
409 (save-excursion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
410 (if (> (point) (mark)) (exchange-point-and-mark))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
411 (insert "{\\" fontsize-name " ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
412 (exchange-point-and-mark)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
413 (insert "}"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
414 (insert "{\\" fontsize-name " }")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
415 (forward-char -1)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
416 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
417
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
418 (defun YaTeX-make-fontsize-region ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
419 "Call functino:YaTeX-make-fontsize with ARG to specify region mode."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
420 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
421 (YaTeX-make-fontsize t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
422 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
423
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
424 (defun YaTeX-make-singlecmd (single)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
425 (interactive
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
426 (list (completing-read
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
427 (format "\\??? (default %s): " single-command)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
428 (append user-singlecmd-table singlecmd-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
429 nil nil )))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
430 (if (string= single "")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
431 (setq single single-command))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
432 (setq single-command single)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
433 (if (not (YaTeX-exist-completion-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
434 (list single-command)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
435 (append user-singlecmd-table singlecmd-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
436 (setq user-singlecmd-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
437 (cons (list single-command) user-singlecmd-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
438 (insert "\\" single-command " ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
439 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
440
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
441 (defvar YaTeX-completion-begin-regexp "[{\\]"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
442 "Regular expression of limit where LaTeX command's
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
443 completion begins.")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
444
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
445 (defun YaTeX-do-completion ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
446 "Try completion on LaTeX command preceding point."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
447 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
448 (if
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
449 (or (eq (preceding-char) ? )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
450 (eq (preceding-char) ?\t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
451 (eq (preceding-char) ?\n)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
452 (bobp))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
453 (message "Nothing to complete.") ;Do not complete
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
454 (let* ((end (point))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
455 (limit (save-excursion (beginning-of-line) (point)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
456 (completion-begin
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
457 (progn (re-search-backward "[ \t\n]" limit 1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
458 (point)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
459 (begin (progn
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
460 (goto-char end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
461 (if (re-search-backward YaTeX-completion-begin-regexp
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
462 completion-begin t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
463 (1+ (point))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
464 nil))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
465 (goto-char end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
466 (cond
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
467 ((null begin)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
468 (message "I think it is not LaTeX sequence."))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
469 (t
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
470 (let* ((pattern (buffer-substring begin end))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
471 (all-table (append section-table user-section-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
472 article-table user-article-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
473 env-table user-env-table
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
474 singlecmd-table user-singlecmd-table))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
475 ;; First,
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
476 ;; search completion without backslash.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
477 (completion (try-completion pattern all-table nil)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
478 (if
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
479 (eq completion nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
480 ;; Next,
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
481 ;; search completion with backslash
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
482 (setq completion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
483 (try-completion (buffer-substring (1- begin) end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
484 all-table nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
485 begin (1- begin)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
486 (cond
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
487 ((null completion)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
488 (message (concat "Can't find completion for '" pattern "'"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
489 (ding))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
490 ((eq completion t) (message "Sole completion."))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
491 ((not (string= completion pattern))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
492 (kill-region begin end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
493 (insert completion)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
494 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
495 (t
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
496 (message "Making completion list...")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
497 (with-output-to-temp-buffer "*Help*"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
498 (display-completion-list
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
499 (all-completions pattern all-table))) )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
500 ))))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
501 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
502
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
503 (defun YaTeX-insert-quote ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
504 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
505 (insert
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
506 (cond
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
507 ((= (preceding-char) ?\\ ) ?\")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
508 ((= (preceding-char) ?\( ) ?\")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
509 ((= (preceding-char) 32) "``")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
510 ((= (preceding-char) 9) "``")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
511 ((= (preceding-char) ?\n) "``")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
512 ((bobp) "``")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
513 (t "''")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
514 )))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
515
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
516
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
517 (defun YaTeX-insert-braces-region (beg end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
518 (interactive "r")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
519 (save-excursion
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
520 (goto-char end)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
521 (insert "}")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
522 (goto-char beg)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
523 (insert "{"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
524 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
525
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
526 (defun YaTeX-insert-braces ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
527 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
528 (insert "{}")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
529 (forward-char -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
530 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
531
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
532 (defun YaTeX-insert-dollar ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
533 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
534 (insert "$$")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
535 (forward-char -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
536 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
537
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
538 (defun YaTeX-insert-string (s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
539 (insert s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
540 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
541
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
542 (defun YaTeX-version ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
543 "Return string of the version of running YaTeX."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
544 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
545 (message
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
546 (concat "Yet Another TeX mode u–ì’¹v Revision "
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
547 YaTeX-revision-number))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
548 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
549
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
550 (defun YaTeX-compile-sentinel (proc mes)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
551 (cond ((null (buffer-name (process-buffer proc)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
552 ;; buffer killed
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
553 (set-process-buffer proc nil))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
554 ((memq (process-status proc) '(signal exit))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
555 (let* ((obuf (current-buffer)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
556 ;; save-excursion isn't the right thing if
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
557 ;; process-buffer is current-buffer
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
558 (unwind-protect
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
559 (progn
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
560 ;; Write something in *compilation* and hack its mode line
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
561 (set-buffer (process-buffer proc))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
562 (goto-char (point-max))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
563 (insert ?\n "jlatex compilation " mes)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
564 (forward-char -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
565 (insert " at "
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
566 (substring (current-time-string) 0 -5))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
567 (insert "\n * Hit any key to return * ")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
568 (forward-char 1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
569 (setq mode-line-process
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
570 (concat ": "
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
571 (symbol-name (process-status proc))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
572 ;; If buffer and mode line will show that the process
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
573 ;; is dead, we can delete it now. Otherwise it
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
574 ;; will stay around until M-x list-processes.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
575 (delete-process proc)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
576 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
577 (setq YaTeX-compilation-process nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
578 ;; Force mode line redisplay soon
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
579 (set-buffer-modified-p (buffer-modified-p))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
580 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
581 (set-buffer obuf)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
582 )))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
583 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
584
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
585 (defvar YaTeX-compilation-process nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
586 "Process identifier for jlatex"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
587 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
588
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
589 (defun YaTeX-compile ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
590 "Execute jlatex (or other) to LaTeX compile."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
591 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
592 (if YaTeX-compilation-process
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
593 (if (eq (process-status YaTeX-compilation-process) 'run)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
594 (progn (interrupt-process YaTeX-compilation-process)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
595 (sit-for 1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
596 (delete-process YaTeX-compilation-process))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
597 nil) nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
598 ; (compile1 (concat tex-command " " (buffer-name))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
599 ; "TeX error" "*TeX compilation*")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
600 (setq YaTeX-compilation-process nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
601 (if (eq system-type 'ms-dos) ;if MS-DOS
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
602 (with-output-to-temp-buffer "*YaTeX-compilation*"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
603 (message (concat "Compiling " (buffer-name) "..."))
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
604 (YaTeX-put-nonstopmode)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
605 (basic-save-buffer)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
606 (call-process shell-file-name
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
607 nil
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
608 "*YaTeX-compilation*" nil
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
609 "/c" (YaTeX-get-latex-command))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
610 ;;;"/c " tex-command (buffer-name) )
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
611 (YaTeX-remove-nonstopmode))
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
612 (setq YaTeX-compilation-process ;if UNIX
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
613 (with-output-to-temp-buffer "*YaTeX-compilation*"
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
614 (basic-save-buffer)
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
615 (start-process "LaTeX" "*YaTeX-compilation*" shell-file-name "-c"
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
616 (YaTeX-get-latex-command))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
617 ;;;tex-command (buffer-name) "")
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
618 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
619 (set-process-sentinel YaTeX-compilation-process 'YaTeX-compile-sentinel))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
620 (setq current-TeX-buffer (buffer-name))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
621 (other-window 1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
622 (use-local-map YaTeX-compilation-mode-map)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
623 (set-kanji-process-code YaTeX-kanji-code)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
624 (message "Type SPC to continue.")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
625 (goto-char (point-max))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
626 (sit-for 30)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
627 (read-char) ;hit any key
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
628 (other-window -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
629 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
630
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
631 (defun YaTeX-preview (preview-command preview-file)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
632 "Execute xdvi (or other) to tex-preview."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
633 (interactive
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
634 (list (read-string "Preview command: " dvi2-command)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
635 (read-string "Prefiew file[.dvi]: "
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
636 (substring (buffer-name) 0 -4)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
637 )))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
638 (setq dvi2-command preview-command)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
639 (with-output-to-temp-buffer "*dvi-preview*"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
640 (if (eq system-type 'ms-dos)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
641 (progn (send-string-to-terminal "\e[2J") ;if MS-DOS
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
642 (call-process shell-file-name "con" "*dvi-preview*" nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
643 "/c " dvi2-command preview-file)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
644 (redraw-display))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
645 (start-process "xdvi" "*dvi-preview*" shell-file-name "-c"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
646 (concat dvi2-command " " preview-file)) ;if UNIX
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
647 (message (concat "Starting " dvi2-command " to preview " preview-file)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
648 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
649 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
650
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
651 (defun YaTeX-prev-error ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
652 "Visit previous error. The reason why not NEXT-error is to
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
653 avoid make confliction of line numbers by editing."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
654 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
655 (setq cur-buf (buffer-name)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
656 YaTeX-error-line nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
657 (if (null (get-buffer "*YaTeX-compilation*"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
658 (message "There is no output buffer of compilation.")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
659 (pop-to-buffer "*YaTeX-compilation*")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
660 (if (eq system-type 'ms-dos)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
661 (if (search-backward latex-dos-emergency-message nil t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
662 (progn (goto-char (point-max))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
663 (setq error-regexp latex-error-regexp))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
664 (beginning-of-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
665 (forward-char -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
666 (setq error-regexp latex-warning-regexp))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
667 (if YaTeX-compilation-process ; if jlatex on UNIX
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
668 (if (eq (process-status YaTeX-compilation-process) 'run)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
669 (progn
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
670 (goto-char (point-max))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
671 (setq error-regexp latex-error-regexp)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
672 (beginning-of-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
673 (setq error-regexp latex-warning-regexp)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
674 (if (re-search-backward error-regexp nil t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
675 (save-restriction
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
676 (set-mark-command nil)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
677 (end-of-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
678 (narrow-to-region (point) (mark))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
679 (goto-char (point-min))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
680 (re-search-forward "[0-9]")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
681 (forward-char -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
682 (set-mark (point))
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
683 (skip-chars-forward "0-9")
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
684 (narrow-to-region (point) (mark))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
685 (goto-char (point-min))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
686 (setq YaTeX-error-line (read (current-buffer))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
687 (message "No more error on %s" cur-buf)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
688 (ding)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
689 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
690 (other-window -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
691 (switch-to-buffer cur-buf)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
692 (if (null YaTeX-error-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
693 nil
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
694 (goto-line YaTeX-error-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
695 (message "latex error or warning at line: %d" YaTeX-error-line)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
696 (other-window 1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
697 (skip-chars-backward "[0-9]")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
698 (recenter (/ (window-height) 2))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
699 (sit-for 3)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
700 (forward-line -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
701 (other-window -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
702 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
703 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
704
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
705 (defun YaTeX-jump-error-line ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
706 "Jump corresponding line on latex command's error message."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
707 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
708 (let ((end (progn (end-of-line) (point)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
709 (begin (progn (beginning-of-line)(point))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
710 (if (null (re-search-forward "l[ ines]*\\.*[1-9][0-9]*" end t))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
711 (message "No line number expression")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
712 (goto-char (match-beginning 0))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
713 (re-search-forward "[1-9][0-9]*" end t)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
714 (save-restriction
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
715 (narrow-to-region (match-beginning 0) (match-end 0))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
716 (goto-char (point-min))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
717 (let ((error-line (read (current-buffer))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
718 (other-window -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
719 (switch-to-buffer current-TeX-buffer)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
720 (goto-line error-line)))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
721 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
722
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
723 (defun YaTeX-view-error ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
724 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
725 (other-window 1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
726 (goto-char (point-max))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
727 (other-window -1)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
728 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
729
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
730 (defun YaTeX-put-nonstopmode ()
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
731 (if (boundp 'YaTeX-need-nonstop)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
732 (if (re-search-backward "\\nonstopmode{}" (point-min) t)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
733 nil ;if already written in text then do nothing
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
734 (save-excursion
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
735 (goto-char (point-min))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
736 (insert "\\nonstopmode{}%_YaTeX_%\n")))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
737 )
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
738 )
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
739
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
740 (defun YaTeX-remove-nonstopmode ()
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
741 (if (boundp 'YaTeX-need-nonstop) ;for speed
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
742 (save-excursion
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
743 (goto-char (point-min))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
744 (forward-line 1)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
745 (narrow-to-region (point-min) (point))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
746 (goto-char (point-min))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
747 (delete-matching-lines "^\\\\nonstopmode\\{\\}%_YaTeX_%$")
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
748 (widen)))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
749 )
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
750
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
751 (defun YaTeX-get-latex-command ()
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
752 "Specify the latex-command name and its argument.
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
753 If there is a line which begins by string: \"%#!\", the following
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
754 strings are assumed to be the latex-command and arguments. The
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
755 default value of latex-command is:
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
756 tex-command (buffer-name)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
757 and if you write \"%#!jlatex\" in the beginning of certain line.
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
758 \"jlatex \" (buffer-name)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
759 will be the latex-command,
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
760 and you write \"%#!jlatex main.tex\"
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
761 \"jlatex main.tex\"
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
762 will be given to the shell."
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
763 (let*
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
764 ((default-command
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
765 (concat tex-command " " (buffer-name)))) ;default value
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
766 (save-excursion
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
767 (goto-char (point-min))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
768 (if (null (re-search-forward "^%#!" (point-max) t))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
769 default-command
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
770 (skip-chars-forward "%#! ")
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
771 (if (eolp)
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
772 default-command
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
773 (let ((s (point)))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
774 (skip-chars-forward "A-z") ;Skip command name
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
775 ;(setq YaTeX-latex-command (buffer-substring s (point)))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
776 (if (eolp) ;Only change command name
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
777 (concat (buffer-substring s (point)) " " (buffer-name))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
778 (end-of-line) ;Change entire command name
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
779 (buffer-substring s (point)) ;including arguments.
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
780 ))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
781 ))))
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
782 )
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
783
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
784 (defun YaTeX-read-user-completion-table ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
785 "Append user completion table of LaTeX word"
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
786 (message "Loading personal completion table")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
787 (let ((user-table (expand-file-name YaTeX-user-completion-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
788 (if (file-exists-p user-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
789 (load-file user-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
790 (message "Personal completion table not found."))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
791 ))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
792
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
793 (defun YaTeX-save-table ()
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
794 "Save personal completion table as dictionary."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
795 (interactive)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
796 (message "Saving user table in %s" YaTeX-user-completion-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
797 (find-file (expand-file-name YaTeX-user-completion-table))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
798 (erase-buffer)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
799 ; (prin1-to-string user-section-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
800 (insert "(setq user-section-table '(\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
801 (mapcar '(lambda (s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
802 (insert (prin1-to-string s))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
803 (insert "\n"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
804 user-section-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
805 (insert "))\n\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
806
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
807 (insert "(setq user-article-table '(\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
808 (mapcar '(lambda (s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
809 (insert (prin1-to-string s))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
810 (insert "\n"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
811 user-article-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
812 (insert "))\n\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
813
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
814 (insert "(setq user-env-table '(\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
815 (mapcar '(lambda (s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
816 (insert (prin1-to-string s))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
817 (insert "\n"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
818 user-env-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
819 (insert "))\n\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
820
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
821 (insert "(setq user-fontsize-table '(\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
822 (mapcar '(lambda (s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
823 (insert (prin1-to-string s))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
824 (insert "\n"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
825 user-fontsize-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
826 (insert "))\n\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
827
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
828 (insert "(setq user-singlecmd-table '(\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
829 (mapcar '(lambda (s)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
830 (insert (prin1-to-string s))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
831 (insert "\n"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
832 user-singlecmd-table)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
833 (insert "))\n")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
834
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
835 (basic-save-buffer)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
836 (kill-buffer (current-buffer))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
837 (message "")
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
838 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
839
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
840 (defun append-to-hook (hook hook-list)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
841 "Add hook-list to certain emacs's hook correctly.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
842 Argument hook-list is the list of function int the form to be called
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
843 Call this function with argument as next example,
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
844 (append-to-hook '((ding))) ;If one function to add.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
845 (append-to-hook '((func1)(func2 arg)))."
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
846 (if (null (eval hook)) ;Not defined
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
847 (set hook
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
848 (append '(lambda ()) hook-list))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
849 (if (listp (eval hook))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
850 (if (eq (car (eval hook)) 'lambda) ;'(lambda () ....)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
851 (set hook
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
852 (append (eval hook) hook-list))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
853 (if (eq hook 'kill-emacs-hook) ;'(hook1 hook2 ...)
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
854 (progn ; this format is not
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
855 (ding) ; for kill-emacs-hook
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
856 (message
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
857 "Caution!! you have wrong format of kill-emacs-hook"))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
858 (while (not (null hook-list))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
859 (set hook
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
860 (append (eval hook) (car hook-list)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
861 (setq hook-list (cdr hook-list))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
862 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
863 (set hook ;'hook
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
864 (append '(lambda ())
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
865 (cons (list (eval hook)) hook-list)))))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
866 )
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
867 (append-to-hook 'kill-emacs-hook '((YaTeX-save-table)))
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
868
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
869 ;--------------------------------- History ---------------------------------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
870 ; Rev. | Date | Contents
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
871 ;------+----------+---------------------------------------------------------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
872 ; 1.00 | 91/ 6/13 | Initial version.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
873 ; | | Auto compilation & preview.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
874 ; | | \section{}-type and \begin{}\end{}-type completion.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
875 ; 1.01 | 91/ 6/14 | Add {\large ..} type completion (prefix+l).
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
876 ; 1.10 | 6/21 | Add learning feature of completion.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
877 ; 1.11 | 6/27 | Simplify function begin-document etc. using lambda.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
878 ; 1.12 | 7/ 6 | Modify YaTeX-make-section, show section-name.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
879 ; 1.13 | 12/ 4 | Delete blank lines in make begin/end environment.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
880 ; 1.20 | 12/ 5 | Saving learned completion into user file.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
881 ; 1.21 | 12/ 6 | Add \maketitle type completion (prefix+m).
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
882 ; 1.22 | 12/30 | Port yatex.el to DOS(Demacs).
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
883 ; 1.23 | 92/ 1/ 8 | Enable latex and preview command on DOS.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
884 ; 1.24 | 1/ 9 | Add YaTeX-save-table to kill-emacs-hook automatically.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
885 ; 1.25 | 1/16 | YaTeX-do-completion (prefix+SPC) and argument
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
886 ; | | acceptable YaTeX-make-section work. Put region into
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
887 ; | | \begin...\end by calling YaTeX-make-begin-end with ARG.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
888 ; | | append-kill-emacs-hook was revised to append-to-hook.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
889 ; 1.26 | 1/18 | Region mode is added to {\large }. Default fontsize.
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
890 ; 1.27 | 1/21 | Default name on completing-read,
1
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
891 ; 1.28 | 7/ 2 | Add \nonstopmode{} automatically on DOS.
912f6e258cba Support %#! usage to specify latex command.
yuuji
parents: 0
diff changeset
892 ; | 7/20 | %#! usage to specify latex command and its arguments.
0
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
893 ;------+----------+---------------------------------------------------------
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
894 ;
9c72144baf95 First releas version (at ftp.ae).
yuuji
parents:
diff changeset
895 ;----------------------------- End of yatex.el -----------------------------

yatex.org