annotate lisp/textmodes/scribe.el @ 389:6e0510766e66

Initial revision
author Jim Blandy <jimb@redhat.com>
date Wed, 14 Aug 1991 01:04:47 +0000
parents 1e0bc00dca7a
children 7cbd4fcd8b0f
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
258
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 7
diff changeset
89 ;;;###autoload
7
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (defun scribe-mode ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 "Major mode for editing files of Scribe (a text formatter) source.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 Scribe-mode is similar text-mode, with a few extra commands added.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 \\{scribe-mode-map}
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 Interesting variables:
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 scribe-fancy-paragraphs
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 Non-nil makes Scribe mode use a different style of paragraph separation.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 scribe-electric-quote
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 Non-nil makes insert of double quote use `` or '' depending on context.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 scribe-electric-parenthesis
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 Non-nil makes an open-parenthesis char (one of `([<{')
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 automatically insert its close if typed after an @Command form."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 (kill-all-local-variables)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 (use-local-map scribe-mode-map)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 (setq mode-name "Scribe")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 (setq major-mode 'scribe-mode)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 (define-abbrev-table 'scribe-mode-abbrev-table ())
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 (setq local-abbrev-table scribe-mode-abbrev-table)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 (make-local-variable 'comment-start)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (setq comment-start "@Comment[")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (make-local-variable 'comment-start-skip)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 (setq comment-start-skip (concat "@Comment[" scribe-open-parentheses "]"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (make-local-variable 'comment-column)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 (setq comment-column 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (make-local-variable 'comment-end)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (setq comment-end "]")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (make-local-variable 'paragraph-start)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (setq paragraph-start (concat "\\(^[\n\f]\\)\\|\\(^@\\w+["
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 scribe-open-parentheses
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 "].*["
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 scribe-close-parentheses
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 "]$\\)"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (make-local-variable 'paragraph-separate)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 (setq paragraph-separate (if scribe-fancy-paragraphs
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 paragraph-start "^$"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 (make-local-variable 'compile-command)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (setq compile-command (concat "scribe " (buffer-file-name)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (set-syntax-table scribe-mode-syntax-table)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (run-hooks 'text-mode-hook 'scribe-mode-hook))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (defun scribe-tab ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 (insert "@\\"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 ;; This algorithm could probably be improved somewhat.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 ;; Right now, it loses seriously...
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 (defun scribe ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 "Run Scribe on the current buffer."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (call-interactively 'compile))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (defun scribe-envelop-word (string count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 "Surround current word with Scribe construct @STRING[...]. COUNT
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 specifies how many words to surround. A negative count means to skip
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 backward."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (let ((spos (point)) (epos (point)) (ccoun 0) noparens)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (if (not (zerop count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (progn (if (= (char-syntax (preceding-char)) ?w)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (forward-sexp (min -1 count)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (setq spos (point))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 (if (looking-at (concat "@\\w[" scribe-open-parentheses "]"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 (forward-char 2)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (skip-chars-backward "\\W")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 (forward-char -1))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (forward-sexp (max count 1))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 (setq epos (point))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (goto-char spos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 (while (and (< ccoun (length scribe-open-parentheses))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (or (search-forward (char-to-string
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 (aref scribe-open-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 epos t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (search-forward (char-to-string
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (aref scribe-close-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 epos t)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (setq ccoun (1+ ccoun))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (if (>= ccoun (length scribe-open-parentheses))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (progn (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 (insert "@end(" string ")")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (goto-char spos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (insert "@begin(" string ")"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (insert (aref scribe-close-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (goto-char spos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (insert "@" string (aref scribe-open-parentheses ccoun))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (goto-char epos)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (forward-char 3)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (skip-chars-forward scribe-close-parentheses))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 (defun scribe-underline-word (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 "Underline COUNT words around point by means of Scribe constructs."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 (interactive "p")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 (scribe-envelop-word "u" count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 (defun scribe-bold-word (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 "Boldface COUNT words around point by means of Scribe constructs."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (interactive "p")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (scribe-envelop-word "b" count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (defun scribe-italicize-word (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 "Italicize COUNT words around point by means of Scribe constructs."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (interactive "p")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (scribe-envelop-word "i" count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (defun scribe-begin ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (scribe-envelop-word "Begin" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (defun scribe-end ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (scribe-envelop-word "End" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 (defun scribe-chapter ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (scribe-envelop-word "Chapter" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (defun scribe-section ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (scribe-envelop-word "Section" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (defun scribe-subsection ()
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (interactive)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (insert "\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (scribe-envelop-word "SubSection" 0)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (re-search-forward (concat "[" scribe-open-parentheses "]")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (defun scribe-bracket-region-be (env min max)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (interactive "sEnvironment: \nr")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (goto-char max)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (insert "@end(" env ")\n")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (goto-char min)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (insert "@begin(" env ")\n")))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (defun scribe-insert-environment (env)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (interactive "sEnvironment: ")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (scribe-bracket-region-be env (point) (point))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 (forward-line 1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (insert ?\n)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (forward-char -1))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 (defun scribe-insert-quote (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 "If scribe-electric-quote is non-NIL, insert ``, '' or \" according
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 to preceding character. With numeric arg N, always insert N \" characters.
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 Else just insert \"."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 (interactive "P")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (if (or count (not scribe-electric-quote))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (self-insert-command (prefix-numeric-value count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 (let (lastfore lastback lastquote)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (insert
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 (cond
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 ((= (preceding-char) ?\\) ?\")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 ((bobp) "``")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (t
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 (setq lastfore (save-excursion (and (search-backward
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 "``" (- (point) 1000) t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266 (point)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 lastback (save-excursion (and (search-backward
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 "''" (- (point) 1000) t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (point)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 lastquote (save-excursion (and (search-backward
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 "\"" (- (point) 100) t)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (point))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (if (not lastquote)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 (cond ((not lastfore) "``")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 ((not lastback) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 ((> lastfore lastback) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (t "``"))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 (cond ((and (not lastback) (not lastfore)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 ((and lastback (not lastfore) (> lastquote lastback)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 ((and lastback (not lastfore) (> lastback lastquote)) "``")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 ((and lastfore (not lastback) (> lastquote lastfore)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 ((and lastfore (not lastback) (> lastfore lastquote)) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 ((and (> lastquote lastfore) (> lastquote lastback)) "\"")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 ((> lastfore lastback) "''")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 (t "``")))))))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (defun scribe-parenthesis (count)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 "If scribe-electric-parenthesis is non-NIL, insertion of an open-parenthesis
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 character inserts the following close parenthesis character if the
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 preceding text is of the form @Command."
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (interactive "P")
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (self-insert-command (prefix-numeric-value count))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 (let (at-command paren-char point-save)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 (if (or count (not scribe-electric-parenthesis))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 nil
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (forward-char -1)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (setq point-save (point))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (skip-chars-backward (concat "^ \n\t\f" scribe-open-parentheses))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (setq at-command (and (equal (following-char) ?@)
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 (/= (point) (1- point-save)))))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (if (and at-command
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 (setq paren-char
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (string-match (regexp-quote
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (char-to-string (preceding-char)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 scribe-open-parentheses)))
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (save-excursion
9a0ef3f9c6aa Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (insert (aref scribe-close-parentheses paren-char)))))))