annotate lisp/textmodes/scribe.el @ 74:2c14d4cb1256

*** empty log message ***
author root <root>
date Thu, 26 Jul 1990 04:05:55 +0000
parents 9a0ef3f9c6aa
children 1e0bc00dca7a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;; scribe mode, and its ideosyncratic commands.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 ;; Copyright (C) 1985 Free Software Foundation, Inc.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 ;; This file might become part of GNU Emacs.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; GNU Emacs is distributed in the hope that it will be useful,
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; but without any warranty. No author or distributor
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; accepts responsibility to anyone for the consequences of using it
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; or for whether it serves any particular purpose or works at all,
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; unless he says so in writing.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; Everyone is granted permission to copy, modify and redistribute
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; GNU Emacs, but only under the conditions described in the
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; document "GNU Emacs copying permission notice". An exact copy
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; of the document is supposed to have been given to you along with
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; GNU Emacs so that you can know how you may redistribute it all.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; It should be in a file named COPYING. Among other things, the
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; copyright notice and this notice must be preserved on all copies.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 (defvar scribe-mode-syntax-table nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 "Syntax table used while in scribe mode.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 (defvar scribe-mode-abbrev-table nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 "Abbrev table used while in scribe mode.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 (defvar scribe-fancy-paragraphs nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 "*Non-NIL makes Scribe mode use a different style of paragraph separation.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 (defvar scribe-electric-quote nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 "*Non-NIL makes insert of double quote use `` or '' depending on context.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 (defvar scribe-electric-parenthesis nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 "*Non-NIL makes parenthesis char ( (]}> ) automatically insert its close
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 if typed after an @Command form.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 (defconst scribe-open-parentheses "[({<"
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 "Open parenthesis characters for Scribe.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 (defconst scribe-close-parentheses "])}>"
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 "Close parenthesis characters for Scribe. These should match up with
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 scribe-open-parenthesis.")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 (if (null scribe-mode-syntax-table)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 (let ((st (syntax-table)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 (unwind-protect
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 (progn
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 (setq scribe-mode-syntax-table (copy-syntax-table
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 text-mode-syntax-table))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 (set-syntax-table scribe-mode-syntax-table)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 (modify-syntax-entry ?\" " ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 (modify-syntax-entry ?\\ " ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 (modify-syntax-entry ?@ "w ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 (modify-syntax-entry ?< "(> ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 (modify-syntax-entry ?> ")< ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 (modify-syntax-entry ?[ "(] ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 (modify-syntax-entry ?] ")[ ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 (modify-syntax-entry ?{ "(} ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 (modify-syntax-entry ?} "){ ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 (modify-syntax-entry ?' "w "))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (set-syntax-table st))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 (defvar scribe-mode-map nil)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 (if scribe-mode-map
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 (setq scribe-mode-map (make-sparse-keymap))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (define-key scribe-mode-map "\t" 'scribe-tab)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 (define-key scribe-mode-map "\e\t" 'tab-to-tab-stop)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 (define-key scribe-mode-map "\es" 'center-line)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 (define-key scribe-mode-map "\e}" 'up-list)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 (define-key scribe-mode-map "\eS" 'center-paragraph)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 (define-key scribe-mode-map "\"" 'scribe-insert-quote)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 (define-key scribe-mode-map "(" 'scribe-parenthesis)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 (define-key scribe-mode-map "[" 'scribe-parenthesis)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 (define-key scribe-mode-map "{" 'scribe-parenthesis)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 (define-key scribe-mode-map "<" 'scribe-parenthesis)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 (define-key scribe-mode-map "\^cc" 'scribe-chapter)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 (define-key scribe-mode-map "\^cS" 'scribe-section)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 (define-key scribe-mode-map "\^cs" 'scribe-subsection)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 (define-key scribe-mode-map "\^ce" 'scribe-insert-environment)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 (define-key scribe-mode-map "\^c\^e" 'scribe-bracket-region-be)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 (define-key scribe-mode-map "\^c[" 'scribe-begin)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 (define-key scribe-mode-map "\^c]" 'scribe-end)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 (define-key scribe-mode-map "\^ci" 'scribe-italicize-word)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 (define-key scribe-mode-map "\^cb" 'scribe-bold-word)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 (define-key scribe-mode-map "\^cu" 'scribe-underline-word))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (defun scribe-mode ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 "Major mode for editing files of Scribe (a text formatter) source.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 Scribe-mode is similar text-mode, with a few extra commands added.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 \\{scribe-mode-map}
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 Interesting variables:
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 scribe-fancy-paragraphs
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 Non-nil makes Scribe mode use a different style of paragraph separation.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 scribe-electric-quote
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 Non-nil makes insert of double quote use `` or '' depending on context.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 scribe-electric-parenthesis
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 Non-nil makes an open-parenthesis char (one of `([<{')
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 automatically insert its close if typed after an @Command form."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (kill-all-local-variables)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 (use-local-map scribe-mode-map)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 (setq mode-name "Scribe")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 (setq major-mode 'scribe-mode)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 (define-abbrev-table 'scribe-mode-abbrev-table ())
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 (setq local-abbrev-table scribe-mode-abbrev-table)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 (make-local-variable 'comment-start)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 (setq comment-start "@Comment[")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (make-local-variable 'comment-start-skip)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (setq comment-start-skip (concat "@Comment[" scribe-open-parentheses "]"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 (make-local-variable 'comment-column)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (setq comment-column 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 (make-local-variable 'comment-end)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (setq comment-end "]")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (make-local-variable 'paragraph-start)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (setq paragraph-start (concat "\\(^[\n\f]\\)\\|\\(^@\\w+["
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 scribe-open-parentheses
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 "].*["
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 scribe-close-parentheses
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 "]$\\)"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 (make-local-variable 'paragraph-separate)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (setq paragraph-separate (if scribe-fancy-paragraphs
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 paragraph-start "^$"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 (make-local-variable 'compile-command)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 (setq compile-command (concat "scribe " (buffer-file-name)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (set-syntax-table scribe-mode-syntax-table)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (run-hooks 'text-mode-hook 'scribe-mode-hook))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (defun scribe-tab ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (insert "@\\"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 ;; This algorithm could probably be improved somewhat.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 ;; Right now, it loses seriously...
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (defun scribe ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 "Run Scribe on the current buffer."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 (call-interactively 'compile))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (defun scribe-envelop-word (string count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 "Surround current word with Scribe construct @STRING[...]. COUNT
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 specifies how many words to surround. A negative count means to skip
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 backward."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 (let ((spos (point)) (epos (point)) (ccoun 0) noparens)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (if (not (zerop count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (progn (if (= (char-syntax (preceding-char)) ?w)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (forward-sexp (min -1 count)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (setq spos (point))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (if (looking-at (concat "@\\w[" scribe-open-parentheses "]"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 (forward-char 2)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 (skip-chars-backward "\\W")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (forward-char -1))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 (forward-sexp (max count 1))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (setq epos (point))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 (goto-char spos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (while (and (< ccoun (length scribe-open-parentheses))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (or (search-forward (char-to-string
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (aref scribe-open-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 epos t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (search-forward (char-to-string
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (aref scribe-close-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 epos t)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 (setq ccoun (1+ ccoun))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (if (>= ccoun (length scribe-open-parentheses))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (progn (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (insert "@end(" string ")")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 (goto-char spos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (insert "@begin(" string ")"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (insert (aref scribe-close-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (goto-char spos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (insert "@" string (aref scribe-open-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (forward-char 3)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (skip-chars-forward scribe-close-parentheses))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (defun scribe-underline-word (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 "Underline COUNT words around point by means of Scribe constructs."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (interactive "p")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 (scribe-envelop-word "u" count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 (defun scribe-bold-word (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 "Boldface COUNT words around point by means of Scribe constructs."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (interactive "p")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (scribe-envelop-word "b" count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 (defun scribe-italicize-word (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 "Italicize COUNT words around point by means of Scribe constructs."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (interactive "p")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (scribe-envelop-word "i" count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 (defun scribe-begin ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 (scribe-envelop-word "Begin" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (defun scribe-end ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (scribe-envelop-word "End" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (defun scribe-chapter ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 (scribe-envelop-word "Chapter" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (defun scribe-section ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 (scribe-envelop-word "Section" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (defun scribe-subsection ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (scribe-envelop-word "SubSection" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 (defun scribe-bracket-region-be (env min max)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (interactive "sEnvironment: \nr")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (goto-char max)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (insert "@end(" env ")\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (goto-char min)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (insert "@begin(" env ")\n")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (defun scribe-insert-environment (env)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (interactive "sEnvironment: ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (scribe-bracket-region-be env (point) (point))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (forward-line 1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 (insert ?\n)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (forward-char -1))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (defun scribe-insert-quote (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 "If scribe-electric-quote is non-NIL, insert ``, '' or \" according
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 to preceding character. With numeric arg N, always insert N \" characters.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 Else just insert \"."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 (interactive "P")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 (if (or count (not scribe-electric-quote))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (self-insert-command (prefix-numeric-value count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (let (lastfore lastback lastquote)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 (insert
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (cond
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 ((= (preceding-char) ?\\) ?\")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 ((bobp) "``")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 (t
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (setq lastfore (save-excursion (and (search-backward
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 "``" (- (point) 1000) t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 (point)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266 lastback (save-excursion (and (search-backward
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 "''" (- (point) 1000) t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (point)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 lastquote (save-excursion (and (search-backward
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 "\"" (- (point) 100) t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (point))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (if (not lastquote)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (cond ((not lastfore) "``")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 ((not lastback) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 ((> lastfore lastback) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 (t "``"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (cond ((and (not lastback) (not lastfore)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 ((and lastback (not lastfore) (> lastquote lastback)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 ((and lastback (not lastfore) (> lastback lastquote)) "``")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 ((and lastfore (not lastback) (> lastquote lastfore)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 ((and lastfore (not lastback) (> lastfore lastquote)) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 ((and (> lastquote lastfore) (> lastquote lastback)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 ((> lastfore lastback) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (t "``")))))))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 (defun scribe-parenthesis (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 "If scribe-electric-parenthesis is non-NIL, insertion of an open-parenthesis
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 character inserts the following close parenthesis character if the
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 preceding text is of the form @Command."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 (interactive "P")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (self-insert-command (prefix-numeric-value count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (let (at-command paren-char point-save)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 (if (or count (not scribe-electric-parenthesis))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (setq point-save (point))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (skip-chars-backward (concat "^ \n\t\f" scribe-open-parentheses))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (setq at-command (and (equal (following-char) ?@)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (/= (point) (1- point-save)))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 (if (and at-command
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (setq paren-char
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 (string-match (regexp-quote
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (char-to-string (preceding-char)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 scribe-open-parentheses)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (insert (aref scribe-close-parentheses paren-char)))))))