annotate yatexadd.el @ 14:b7b023a74293

Region-based section-type completion. Kill section-type command and parens (sometimes with font) with [prefix] k. Rewrite error-jump functions. Fix the bug of recursive section-type completion.
author yuuji
date Fri, 22 Apr 1994 17:35:25 +0000
parents eafae54794a0
children cb9afa9c1213
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
1 ;;; -*- Emacs-Lisp -*-
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
2 ;;; YaTeX add-in functions.
14
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
3 ;;; yatexadd.el rev.7
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
4 ;;; (c )1991-1994 by HIROSE Yuuji.[yuuji@ae.keio.ac.jp]
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
5 ;;; Last modified Sat Apr 23 02:26:47 1994 on pajero
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
6 ;;; $Id$
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
7
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
8 (provide 'yatexadd)
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
9
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
10 ;;;
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
11 ;;Sample functions for LaTeX environment.
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
12 ;;;
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
13 (defvar YaTeX:tabular-default-rule
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
14 "@{\\vrule width 1pt\\ }c|c|c@{\\ \\vrule width 1pt}"
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
15 "*Your favorite default rule format."
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
16 )
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
17 (defun YaTeX:tabular ()
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
18 "YaTeX add-in function for tabular environment."
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
19 (let (bars (rule "") (j 0) (loc (YaTeX:read-position "tb")))
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
20 (setq bars (string-to-int (read-string "Number of `|': ")))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
21 (if (> bars 0)
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
22 (while (< j bars) (setq rule (concat rule "|")) (setq j (1+ j)))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
23 (setq rule YaTeX:tabular-default-rule))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
24 (setq rule (read-string "rule format: " rule))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
25
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
26 (message "")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
27 (format "%s{%s}" loc rule))
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
28 )
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
29
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
30 (defun YaTeX:read-position (oneof)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
31 (let ((pos "") loc)
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
32 (while (not (string-match
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
33 (setq loc (read-key-sequence
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
34 (format "Position (`%s') [%s]: " oneof pos)))
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
35 "\r\^g\n"))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
36 (cond
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
37 ((string-match loc oneof)
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
38 (if (not (string-match loc pos))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
39 (setq pos (concat pos loc))))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
40 ((and (string-match loc "\C-h\C-?") (> (length pos) 0))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
41 (setq pos (substring pos 0 (1- (length pos)))))
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
42 (t
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
43 (ding)
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
44 (message "Please input one of `%s'." oneof)
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
45 (sit-for 3))))
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
46 (message "")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
47 (if (string= pos "") ""
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
48 (concat "[" pos "]")))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
49 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
50
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
51 (defun YaTeX:table ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
52 "YaTeX add-in function for table environment."
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
53 (YaTeX:read-position "htbp")
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
54 )
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
55
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
56 (defun YaTeX:description ()
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
57 "Truly poor service:-)"
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
58 (setq single-command "item[]")
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
59 ""
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
60 )
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
61
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
62 (defun YaTeX:itemize ()
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
63 "It's also poor service."
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
64 (setq single-command "item")
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
65 ""
6
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
66 )
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
67
49be9ccb0b65 Temporary dictionary.
yuuji
parents:
diff changeset
68 (fset 'YaTeX:enumerate 'YaTeX:itemize)
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
69
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
70 (defun YaTeX:picture ()
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
71 "Ask the size of coordinates of picture environment."
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
72 (concat (YaTeX:read-coordinates "Picture size")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
73 (YaTeX:read-coordinates "Initial position"))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
74 )
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
75
12
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
76 (defun YaTeX:equation ()
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
77 (if (fboundp 'YaTeX-toggle-math-mode)
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
78 (YaTeX-toggle-math-mode t)) ;force math-mode ON.
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
79 )
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
80 (fset 'YaTeX:eqnarray 'YaTeX:equation)
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
81 (fset 'YaTeX:displaymath 'YaTeX:equation)
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
82
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
83 ;;;
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
84 ;;Sample functions for section-type command.
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
85 ;;;
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
86 (defun YaTeX:multiput ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
87 (concat (YaTeX:read-coordinates "Pos")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
88 (YaTeX:read-coordinates "Step")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
89 "{" (read-string "How many times: ") "}")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
90 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
91
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
92 (defun YaTeX:put ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
93 (YaTeX:read-coordinates "Pos")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
94 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
95
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
96 (defun YaTeX:makebox ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
97 (concat (YaTeX:read-coordinates "Dimension")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
98 (YaTeX:read-position "lrtb"))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
99 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
100
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
101 (defun YaTeX:framebox ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
102 (if (YaTeX-quick-in-environment-p "picture")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
103 (YaTeX:makebox))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
104 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
105
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
106 (defun YaTeX:dashbox ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
107 (concat "{" (read-string "Dash dimension: ") "}"
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
108 (YaTeX:read-coordinates "Dimension"))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
109 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
110
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
111 (defun YaTeX:read-coordinates (&optional mes varX varY)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
112 (concat
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
113 "("
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
114 (read-string (format "%s %s: " (or mes "Dimension") (or varX "X")))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
115 ","
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
116 (read-string (format "%s %s: " (or mes "Dimension") (or varY "Y")))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
117 ")")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
118 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
119
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
120 ;;;
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
121 ;;Sample functions for maketitle-type command.
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
122 ;;;
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
123 (defun YaTeX:sum ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
124 "Read range of summation."
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
125 (YaTeX:check-completion-type 'maketitle)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
126 (concat (YaTeX:read-boundary "_") (YaTeX:read-boundary "^"))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
127 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
128
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
129 (fset 'YaTeX:int 'YaTeX:sum)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
130
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
131 (defun YaTeX:lim ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
132 "Insert limit notation of \\lim."
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
133 (YaTeX:check-completion-type 'maketitle)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
134 (let ((var (read-string "Variable: ")) limit)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
135 (if (string= "" var) ""
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
136 (setq limit (read-string "Limit ($ means infinity): "))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
137 (if (string= "$" limit) (setq limit "\\infty"))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
138 (concat "_{" var " \\rightarrow " limit "}")))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
139 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
140
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
141 (defun YaTeX:gcd ()
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
142 "Add-in function for \\gcd(m,n)."
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
143 (YaTeX:check-completion-type 'maketitle)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
144 (YaTeX:read-coordinates "\\gcd" "(?,)" "(,?)")
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
145 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
146
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
147 (defun YaTeX:read-boundary (ULchar)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
148 "Read boundary usage by _ or ^. _ or ^ is indicated by argument ULchar."
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
149 (let ((bndry (read-string (concat ULchar "{???} ($ for infinity): "))))
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
150 (if (string= bndry "") ""
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
151 (if (string= bndry "$") (setq bndry "\\infty"))
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
152 (concat ULchar "{" bndry "}")))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
153 )
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
154
14
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
155 (defun YaTeX:verb ()
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
156 "Enclose \\verb's contents with the same characters."
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
157 (let ((quote-char (read-string "Quoting char: " "|"))
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
158 (contents (read-string "Quoted contents: ")))
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
159 (concat quote-char contents quote-char))
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
160 )
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
161
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
162 ;;;
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
163 ;;Subroutine
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
164 ;;;
b7b023a74293 Region-based section-type completion.
yuuji
parents: 13
diff changeset
165
8
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
166 (defun YaTeX:check-completion-type (type)
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
167 "Check valid completion type."
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
168 (if (not (eq type YaTeX-current-completion-type))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
169 (error "This should be completed with %s-type completion." type))
c746646cecf5 Restrict YaTeX:framebox in picture environment.
yuuji
parents: 6
diff changeset
170 )
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
171
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
172
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
173 ;;;
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
174 ;;; [[Add-in functions for reading section arguments]]
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
175 ;;;
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
176 ;; All of add-in functions for reading sections arguments should
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
177 ;; take an argument ARGP that specify the argument position.
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
178 ;; If argument position is out of range, nil should be returned,
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
179 ;; else nil should NOT be returned.
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
180
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
181 ;;
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
182 ; Label selection
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
183 ;;
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
184 (defvar YaTeX-label-menu-other
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
185 (if YaTeX-japan "':‘¼‚̃oƒbƒtƒ@‚̃‰ƒxƒ‹\n" "':LABEL IN OTHER BUFFER.\n"))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
186 (defvar YaTeX-label-menu-any
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
187 (if YaTeX-japan "*:”CˆÓ‚Ì•¶Žš—ñ\n" "*:ANY STRING.\n"))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
188 (defvar YaTeX-label-buffer "*Label completions*")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
189 (defvar YaTeX-label-guide-msg "Select label and hit RETURN.")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
190 (defvar YaTeX-label-select-map nil
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
191 "Key map used in label selection buffer.")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
192 (defun YaTeX::label-setup-key-map ()
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
193 (if YaTeX-label-select-map nil
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
194 (message "Setting up label selection mode map...")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
195 (setq YaTeX-label-select-map (copy-keymap global-map))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
196 (suppress-keymap YaTeX-label-select-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
197 (substitute-all-key-definition
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
198 'previous-line 'YaTeX::label-previous YaTeX-label-select-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
199 (substitute-all-key-definition
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
200 'next-line 'YaTeX::label-next YaTeX-label-select-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
201 (define-key YaTeX-label-select-map "\C-n" 'YaTeX::label-next)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
202 (define-key YaTeX-label-select-map "\C-p" 'YaTeX::label-previous)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
203 (define-key YaTeX-label-select-map "<" 'beginning-of-buffer)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
204 (define-key YaTeX-label-select-map ">" 'end-of-buffer)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
205 (define-key YaTeX-label-select-map "\C-m" 'exit-recursive-edit)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
206 (define-key YaTeX-label-select-map "\C-j" 'exit-recursive-edit)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
207 (define-key YaTeX-label-select-map " " 'exit-recursive-edit)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
208 (define-key YaTeX-label-select-map "\C-g" 'abort-recursive-edit)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
209 (define-key YaTeX-label-select-map "/" 'isearch-forward)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
210 (define-key YaTeX-label-select-map "?" 'isearch-backward)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
211 (define-key YaTeX-label-select-map "'" 'YaTeX::label-search-tag)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
212 (define-key YaTeX-label-select-map "*" 'YaTeX::label-search-tag)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
213 (message "Setting up label selection mode map...Done")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
214 (let ((key ?A))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
215 (while (<= key ?Z)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
216 (define-key YaTeX-label-select-map (char-to-string key)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
217 'YaTeX::label-search-tag)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
218 (define-key YaTeX-label-select-map (char-to-string (+ key (- ?a ?A)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
219 'YaTeX::label-search-tag)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
220 (setq key (1+ key)))))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
221 )
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
222 (defun YaTeX::label-next ()
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
223 (interactive) (forward-line 1) (message YaTeX-label-guide-msg))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
224 (defun YaTeX::label-previous ()
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
225 (interactive) (forward-line -1) (message YaTeX-label-guide-msg))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
226 (defun YaTeX::label-search-tag ()
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
227 (interactive)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
228 (let ((case-fold-search t))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
229 (cond
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
230 ((save-excursion
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
231 (forward-char 1)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
232 (re-search-forward (concat "^" (this-command-keys)) nil t))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
233 (goto-char (match-beginning 0)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
234 ((save-excursion
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
235 (goto-char (point-min))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
236 (re-search-forward (concat "^" (this-command-keys)) nil t))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
237 (goto-char (match-beginning 0))))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
238 (message YaTeX-label-guide-msg))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
239 )
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
240 (defun YaTeX::ref (argp)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
241 (cond
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
242 ((= argp 1)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
243 (save-excursion
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
244 (let ((lnum 0) e0 m1 e1 label label-list (buf (current-buffer))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
245 (p (point)) initl line)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
246 (goto-char (point-min))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
247 (message "Collecting labels...")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
248 (save-window-excursion
12
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
249 (YaTeX-showup-buffer
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
250 YaTeX-label-buffer (function (lambda (x) (window-width x))))
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
251 (with-output-to-temp-buffer YaTeX-label-buffer
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
252 (while (re-search-forward "\\label{\\([^}]+\\)}" nil t)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
253 (setq e0 (match-end 0) m1 (match-beginning 1) e1 (match-end 1))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
254 (if (search-backward
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
255 YaTeX-comment-prefix (point-beginning-of-line) t) nil
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
256 (setq label (buffer-substring m1 e1)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
257 label-list (cons label label-list))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
258 (or initl
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
259 (if (< p (point)) (setq initl lnum)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
260 (beginning-of-line)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
261 (skip-chars-forward " \t\n" nil)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
262 (princ (format "%c:{%s}\t<<%s>>\n" (+ (% lnum 26) ?A) label
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
263 (buffer-substring (point) (point-end-of-line))))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
264 (setq lnum (1+ lnum))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
265 (message "Collecting \\label{}... %d" lnum))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
266 (goto-char e0))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
267 (princ YaTeX-label-menu-other)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
268 (princ YaTeX-label-menu-any)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
269 );with
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
270 (goto-char p)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
271 (message "Collecting labels...Done")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
272 (pop-to-buffer YaTeX-label-buffer)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
273 (YaTeX::label-setup-key-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
274 (setq truncate-lines t)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
275 (setq buffer-read-only t)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
276 (use-local-map YaTeX-label-select-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
277 (message YaTeX-label-guide-msg)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
278 (goto-line (or initl lnum)) ;goto recently defined label line
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
279 (unwind-protect
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
280 (progn
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
281 (recursive-edit)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
282 (set-buffer (get-buffer YaTeX-label-buffer)) ;assertion
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
283 (beginning-of-line)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
284 (setq line (count-lines (point-min)(point)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
285 (cond
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
286 ((= line lnum) (setq label (YaTeX-label-other)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
287 ((>= line (1+ lnum ))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
288 (setq label (read-string "\\ref{???}: ")))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
289 (t (setq label (nth (- lnum line 1) label-list)))))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
290 (bury-buffer YaTeX-label-buffer)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
291 label
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
292 ))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
293 ))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
294 )
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
295
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
296 (defun YaTeX-label-other ()
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
297 (let ((lbuf "*YaTeX mode buffers*") (blist (buffer-list)) (lnum -1) buf rv
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
298 (ff "**find-file**"))
12
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
299 (YaTeX-showup-buffer
a7f397790cdc Revise YaTeX-typeset faster.
yuuji
parents: 11
diff changeset
300 lbuf (function (lambda (x) 1))) ;;Select next window surely.
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
301 (with-output-to-temp-buffer lbuf
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
302 (while blist
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
303 (if (and (buffer-file-name (setq buf (car blist)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
304 (progn (set-buffer buf) (eq major-mode 'yatex-mode)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
305 (princ
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
306 (format "%c:{%s}\n" (+ (% (setq lnum (1+ lnum)) 26) ?A)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
307 (buffer-name buf))))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
308 (setq blist (cdr blist)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
309 (princ (format "':{%s}" ff)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
310 (pop-to-buffer lbuf)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
311 (YaTeX::label-setup-key-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
312 (setq buffer-read-only t)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
313 (use-local-map YaTeX-label-select-map)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
314 (message YaTeX-label-guide-msg)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
315 (unwind-protect
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
316 (progn
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
317 (recursive-edit)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
318 (set-buffer lbuf)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
319 (beginning-of-line)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
320 (setq rv
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
321 (if (re-search-forward "{\\([^\\}]+\\)}" (point-end-of-line) t)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
322 (buffer-substring (match-beginning 1) (match-end 1)) nil)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
323 (kill-buffer lbuf))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
324 (cond
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
325 ((null rv) "")
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
326 ((string= rv ff)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
327 (call-interactively 'find-file)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
328 (YaTeX::ref argp))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
329 (t
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
330 (set-buffer rv)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
331 (YaTeX::ref argp)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
332 )
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
333 )
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
334
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
335 ;;
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
336 ; completion for the arguments of \newcommand
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
337 ;;
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
338 (defun YaTeX::newcommand (&optional argp)
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
339 (cond
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
340 ((= argp 1)
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
341 (let ((command (read-string "Define newcommand: " "\\")))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
342 (put 'YaTeX::newcommand 'command (substring command 1))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
343 command))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
344 ((= argp 2)
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
345 (let ((argc
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
346 (string-to-int (read-string "Number of arguments(Default 0): ")))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
347 (def (read-string "Definition: "))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
348 (command (get 'YaTeX::newcommand 'command)))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
349 ;;!!! It's illegal to insert string in the add-in function !!!
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
350 (if (> argc 0) (insert (format "[%d]" argc)))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
351 (if (and (stringp command)
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
352 (string< "" command)
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
353 (y-or-n-p "Update user completion table?"))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
354 (YaTeX-update-table
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
355 (if (> argc 1) (list command argc) (list command))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
356 'section-table 'user-section-table 'tmp-section-table))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
357 (message "")
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
358 def ;return command name
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
359 ))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
360 (t ""))
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
361 )
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
362
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents: 12
diff changeset
363
11
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
364 ;;;
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
365 ;; global subroutines
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
366 ;;;
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
367 (defun substitute-all-key-definition (olddef newdef keymap)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
368 "Replace recursively OLDDEF with NEWDEF for any keys in KEYMAP now
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
369 defined as OLDDEF. In other words, OLDDEF is replaced with NEWDEF
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
370 where ever it appears."
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
371 (if (arrayp keymap)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
372 (let ((len (length keymap))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
373 (i 0))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
374 (while (< i len)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
375 (let ((map (aref keymap i)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
376 (cond
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
377 ((arrayp map) (substitute-key-definition olddef newdef map))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
378 ((equal map olddef)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
379 (aset keymap i newdef)))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
380 (setq i (1+ i)))))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
381 (while keymap
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
382 (if (equal (cdr-safe (car-safe keymap)) olddef)
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
383 (setcdr (car keymap) newdef))
390df0e505da Label completion works.
yuuji
parents: 8
diff changeset
384 (setq keymap (cdr keymap)))))

yatex.org