yatex

annotate yatexadd.el @ 14:b7b023a74293

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