Mercurial > emacs
annotate lisp/textmodes/enriched.el @ 94068:f2cff391663b
(minibuffer-try-completion, minibuffer-all-completions): Fix last change.
| author | Stefan Monnier <monnier@iro.umontreal.ca> |
|---|---|
| date | Mon, 14 Apr 2008 03:30:47 +0000 |
| parents | 1e3a407766b9 |
| children | f4a69fedbd46 |
| rev | line source |
|---|---|
| 51349 | 1 ;;; enriched.el --- read and save files in text/enriched format |
| 2 | |
| 74509 | 3 ;; Copyright (C) 1994, 1995, 1996, 2001, 2002, 2003, 2004, |
| 79719 | 4 ;; 2005, 2006, 2007, 2008 Free Software Foundation, Inc. |
| 51349 | 5 |
| 6 ;; Author: Boris Goldowsky <boris@gnu.org> | |
| 7 ;; Keywords: wp, faces | |
| 8 | |
| 9 ;; This file is part of GNU Emacs. | |
| 10 | |
| 11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
| 12 ;; it under the terms of the GNU General Public License as published by | |
|
78225
b6d25790aab2
Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents:
75347
diff
changeset
|
13 ;; the Free Software Foundation; either version 3, or (at your option) |
| 51349 | 14 ;; any later version. |
| 15 | |
| 16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
| 17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 19 ;; GNU General Public License for more details. | |
| 20 | |
| 21 ;; You should have received a copy of the GNU General Public License | |
| 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
| 64084 | 23 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
| 24 ;; Boston, MA 02110-1301, USA. | |
| 51349 | 25 |
| 26 ;;; Commentary: | |
| 27 | |
| 28 ;; This file implements reading, editing, and saving files with | |
| 29 ;; text-properties such as faces, levels of indentation, and true line | |
| 30 ;; breaks distinguished from newlines just used to fit text into the window. | |
| 31 | |
| 32 ;; The file format used is the MIME text/enriched format, which is a | |
| 33 ;; standard format defined in internet RFC 1563. All standard annotations | |
| 34 ;; are supported except for <smaller> and <bigger>, which are currently not | |
| 35 ;; possible to display. | |
| 36 | |
| 37 ;; A separate file, enriched.doc, contains further documentation and other | |
| 38 ;; important information about this code. It also serves as an example | |
| 39 ;; file in text/enriched format. It should be in the etc directory of your | |
| 40 ;; emacs distribution. | |
| 41 | |
| 42 ;;; Code: | |
| 43 | |
| 44 (provide 'enriched) | |
| 45 | |
| 46 ;;; | |
| 47 ;;; Variables controlling the display | |
| 48 ;;; | |
| 49 | |
| 50 (defgroup enriched nil | |
|
64055
8b5102566971
(enriched): Finish `defgroup' description with period.
Juanma Barranquero <lekktu@gmail.com>
parents:
61287
diff
changeset
|
51 "Read and save files in text/enriched format." |
| 51349 | 52 :group 'wp) |
| 53 | |
| 54 (defcustom enriched-verbose t | |
| 55 "*If non-nil, give status messages when reading and writing files." | |
| 56 :type 'boolean | |
| 57 :group 'enriched) | |
| 58 | |
| 59 ;;; | |
| 60 ;;; Set up faces & display table | |
| 61 ;;; | |
| 62 | |
| 63 ;; Emacs doesn't have a "fixed" face by default, since all faces currently | |
| 64 ;; have to be fixed-width. So we just pick one that looks different from the | |
| 65 ;; default. | |
| 66 (defface fixed | |
| 67 '((t (:weight bold))) | |
| 68 "Face used for text that must be shown in fixed width. | |
|
73732
db699facb3e4
(fixed): Fix typo in docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
68648
diff
changeset
|
69 Currently, Emacs can only display fixed-width fonts, but this may change. |
| 51349 | 70 This face is used for text specifically marked as fixed-width, for example |
| 71 in text/enriched files." | |
| 72 :group 'enriched) | |
| 73 | |
| 74 (defface excerpt | |
| 75 '((t (:slant italic))) | |
| 76 "Face used for text that is an excerpt from another document. | |
| 77 This is used in Enriched mode for text explicitly marked as an excerpt." | |
| 78 :group 'enriched) | |
| 79 | |
| 80 (defconst enriched-display-table (or (copy-sequence standard-display-table) | |
| 81 (make-display-table))) | |
| 82 (aset enriched-display-table ?\f (make-vector (1- (frame-width)) ?-)) | |
| 83 | |
| 84 (defconst enriched-par-props '(left-margin right-margin justification) | |
| 85 "Text-properties that usually apply to whole paragraphs. | |
| 86 These are set front-sticky everywhere except at hard newlines.") | |
| 87 | |
| 88 ;;; | |
| 89 ;;; Variables controlling the file format | |
| 90 ;;; (bidirectional) | |
| 91 | |
| 92 (defconst enriched-initial-annotation | |
| 93 (lambda () | |
| 94 (format "Content-Type: text/enriched\nText-Width: %d\n\n" | |
| 95 fill-column)) | |
| 96 "What to insert at the start of a text/enriched file. | |
| 97 If this is a string, it is inserted. If it is a list, it should be a lambda | |
| 98 expression, which is evaluated to get the string to insert.") | |
| 99 | |
| 100 (defconst enriched-annotation-format "<%s%s>" | |
| 101 "General format of enriched-text annotations.") | |
| 102 | |
| 103 (defconst enriched-annotation-regexp "<\\(/\\)?\\([-A-Za-z0-9]+\\)>" | |
| 104 "Regular expression matching enriched-text annotations.") | |
| 105 | |
|
57248
213428cc8e39
(enriched-translations): Replace defconst with defvar.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57203
diff
changeset
|
106 (defvar enriched-translations |
| 51349 | 107 '((face (bold-italic "bold" "italic") |
| 108 (bold "bold") | |
| 109 (italic "italic") | |
| 110 (underline "underline") | |
| 111 (fixed "fixed") | |
| 112 (excerpt "excerpt") | |
| 113 (default ) | |
| 114 (nil enriched-encode-other-face)) | |
| 115 (left-margin (4 "indent")) | |
| 116 (right-margin (4 "indentright")) | |
| 117 (justification (none "nofill") | |
| 118 (right "flushright") | |
| 119 (left "flushleft") | |
| 120 (full "flushboth") | |
| 121 (center "center")) | |
| 122 (PARAMETER (t "param")) ; Argument of preceding annotation | |
| 123 ;; The following are not part of the standard: | |
| 124 (FUNCTION (enriched-decode-foreground "x-color") | |
| 125 (enriched-decode-background "x-bg-color") | |
| 126 (enriched-decode-display-prop "x-display")) | |
| 127 (read-only (t "x-read-only")) | |
| 128 (display (nil enriched-handle-display-prop)) | |
| 129 (unknown (nil format-annotate-value)) | |
| 130 ; (font-size (2 "bigger") ; unimplemented | |
| 131 ; (-2 "smaller")) | |
| 132 ) | |
| 133 "List of definitions of text/enriched annotations. | |
| 134 See `format-annotate-region' and `format-deannotate-region' for the definition | |
| 135 of this structure.") | |
| 136 | |
| 137 (defconst enriched-ignore | |
| 138 '(front-sticky rear-nonsticky hard) | |
| 139 "Properties that are OK to ignore when saving text/enriched files. | |
| 140 Any property that is neither on this list nor dealt with by | |
| 141 `enriched-translations' will generate a warning.") | |
| 142 | |
| 143 ;;; Internal variables | |
| 144 | |
| 145 (defcustom enriched-mode-hook nil | |
| 146 "Hook run after entering/leaving Enriched mode. | |
| 147 If you set variables in this hook, you should arrange for them to be restored | |
| 148 to their old values if you leave Enriched mode. One way to do this is to add | |
| 149 them and their old values to `enriched-old-bindings'." | |
| 150 :type 'hook | |
| 151 :group 'enriched) | |
| 152 | |
| 153 (defvar enriched-old-bindings nil | |
| 154 "Store old variable values that we change when entering mode. | |
| 155 The value is a list of \(VAR VALUE VAR VALUE...).") | |
| 156 (make-variable-buffer-local 'enriched-old-bindings) | |
| 157 | |
|
57203
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
158 ;; The next variable is buffer local if and only if Enriched mode is |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
159 ;; enabled. The buffer local value records whether |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
160 ;; `default-text-properties' should remain buffer local when disabling |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
161 ;; Enriched mode. For technical reasons, the default value should be t. |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
162 (defvar enriched-default-text-properties-local-flag t) |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
163 |
|
57147
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
164 ;; Technical internal variable. Bound to t if `enriched-mode' is |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
165 ;; being rerun by a major mode to allow it to restore buffer-local |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
166 ;; variables and to correctly update `enriched-old-bindings'. |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
167 (defvar enriched-rerun-flag nil) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
168 |
| 51349 | 169 ;;; |
| 170 ;;; Define the mode | |
| 171 ;;; | |
| 172 | |
| 173 (put 'enriched-mode 'permanent-local t) | |
| 174 ;;;###autoload | |
| 175 (define-minor-mode enriched-mode | |
| 176 "Minor mode for editing text/enriched files. | |
| 177 These are files with embedded formatting information in the MIME standard | |
| 178 text/enriched format. | |
|
57203
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
179 Turning the mode on or off runs `enriched-mode-hook'. |
| 51349 | 180 |
| 181 More information about Enriched mode is available in the file | |
| 182 etc/enriched.doc in the Emacs distribution directory. | |
| 183 | |
| 184 Commands: | |
| 185 | |
| 186 \\{enriched-mode-map}" | |
|
61287
3801e0f5830b
(enriched-mode): Specify :group.
Lute Kamstra <lute@gnu.org>
parents:
57318
diff
changeset
|
187 :group 'enriched :lighter " Enriched" |
| 51349 | 188 (cond ((null enriched-mode) |
| 189 ;; Turn mode off | |
| 190 (setq buffer-file-format (delq 'text/enriched buffer-file-format)) | |
| 191 ;; restore old variable values | |
| 192 (while enriched-old-bindings | |
|
57203
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
193 (set (pop enriched-old-bindings) (pop enriched-old-bindings))) |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
194 (unless enriched-default-text-properties-local-flag |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
195 (kill-local-variable 'default-text-properties)) |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
196 (kill-local-variable 'enriched-default-text-properties-local-flag) |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
197 (unless use-hard-newlines (use-hard-newlines 0))) |
| 51349 | 198 |
|
57147
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
199 ((and (memq 'text/enriched buffer-file-format) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
200 (not enriched-rerun-flag)) |
| 51349 | 201 ;; Mode already on; do nothing. |
| 202 nil) | |
| 203 | |
| 204 (t ; Turn mode on | |
|
57147
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
205 (add-to-list 'buffer-file-format 'text/enriched) |
| 51349 | 206 ;; Save old variable values before we change them. |
| 207 ;; These will be restored if we exit Enriched mode. | |
| 208 (setq enriched-old-bindings | |
| 209 (list 'buffer-display-table buffer-display-table | |
|
57203
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
210 'default-text-properties default-text-properties |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
211 'use-hard-newlines use-hard-newlines)) |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
212 (make-local-variable 'enriched-default-text-properties-local-flag) |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
213 (setq enriched-default-text-properties-local-flag |
|
6cbbae74d7ca
(enriched-default-text-properties-local-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57147
diff
changeset
|
214 (local-variable-p 'default-text-properties)) |
| 51349 | 215 (make-local-variable 'default-text-properties) |
|
57147
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
216 (setq buffer-display-table enriched-display-table) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
217 (use-hard-newlines 1 (if enriched-rerun-flag 'never nil)) |
| 51349 | 218 (let ((sticky (plist-get default-text-properties 'front-sticky)) |
| 219 (p enriched-par-props)) | |
| 220 (dolist (x p) | |
| 221 (add-to-list 'sticky x)) | |
| 222 (if sticky | |
| 223 (setq default-text-properties | |
| 224 (plist-put default-text-properties | |
| 225 'front-sticky sticky))))))) | |
| 226 | |
|
57147
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
227 (defun enriched-before-change-major-mode () |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
228 (when enriched-mode |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
229 (while enriched-old-bindings |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
230 (set (pop enriched-old-bindings) (pop enriched-old-bindings))))) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
231 |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
232 (add-hook 'change-major-mode-hook 'enriched-before-change-major-mode) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
233 |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
234 (defun enriched-after-change-major-mode () |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
235 (when enriched-mode |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
236 (let ((enriched-rerun-flag t)) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
237 (enriched-mode 1)))) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
238 |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
239 (add-hook 'after-change-major-mode-hook 'enriched-after-change-major-mode) |
|
049bdfb5d92f
(enriched-rerun-flag): New variable.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56323
diff
changeset
|
240 |
| 51349 | 241 ;;; |
| 242 ;;; Keybindings | |
| 243 ;;; | |
| 244 | |
| 245 (defvar enriched-mode-map nil | |
| 246 "Keymap for Enriched mode.") | |
| 247 | |
| 248 (if (null enriched-mode-map) | |
| 249 (fset 'enriched-mode-map (setq enriched-mode-map (make-sparse-keymap)))) | |
| 250 | |
| 251 (if (not (assq 'enriched-mode minor-mode-map-alist)) | |
| 252 (setq minor-mode-map-alist | |
| 253 (cons (cons 'enriched-mode enriched-mode-map) | |
| 254 minor-mode-map-alist))) | |
| 255 | |
| 256 (define-key enriched-mode-map "\C-a" 'beginning-of-line-text) | |
| 257 (define-key enriched-mode-map "\C-m" 'reindent-then-newline-and-indent) | |
| 258 (define-key enriched-mode-map "\C-j" 'reindent-then-newline-and-indent) | |
| 259 (define-key enriched-mode-map "\M-j" 'facemenu-justification-menu) | |
| 260 (define-key enriched-mode-map "\M-S" 'set-justification-center) | |
| 261 (define-key enriched-mode-map "\C-x\t" 'increase-left-margin) | |
|
57318
99238df8b246
(enriched-mode-map): Give `set-left-margin' and `set-right-margin'
Luc Teirlinck <teirllm@auburn.edu>
parents:
57248
diff
changeset
|
262 (define-key enriched-mode-map "\C-c[" 'set-left-margin) |
|
99238df8b246
(enriched-mode-map): Give `set-left-margin' and `set-right-margin'
Luc Teirlinck <teirllm@auburn.edu>
parents:
57248
diff
changeset
|
263 (define-key enriched-mode-map "\C-c]" 'set-right-margin) |
| 51349 | 264 |
| 265 ;;; | |
| 266 ;;; Some functions dealing with text-properties, especially indentation | |
| 267 ;;; | |
| 268 | |
| 269 (defun enriched-map-property-regions (prop func &optional from to) | |
| 270 "Apply a function to regions of the buffer based on a text property. | |
| 271 For each contiguous region of the buffer for which the value of PROPERTY is | |
| 272 eq, the FUNCTION will be called. Optional arguments FROM and TO specify the | |
| 273 region over which to scan. | |
| 274 | |
| 275 The specified function receives three arguments: the VALUE of the property in | |
| 276 the region, and the START and END of each region." | |
| 277 (save-excursion | |
| 278 (save-restriction | |
| 279 (if to (narrow-to-region (point-min) to)) | |
| 280 (goto-char (or from (point-min))) | |
| 281 (let ((begin (point)) | |
| 282 end | |
| 283 (marker (make-marker)) | |
| 284 (val (get-text-property (point) prop))) | |
| 285 (while (setq end (text-property-not-all begin (point-max) prop val)) | |
| 286 (move-marker marker end) | |
| 287 (funcall func val begin (marker-position marker)) | |
| 288 (setq begin (marker-position marker) | |
| 289 val (get-text-property marker prop))) | |
| 290 (if (< begin (point-max)) | |
| 291 (funcall func val begin (point-max))))))) | |
| 292 | |
| 293 (put 'enriched-map-property-regions 'lisp-indent-hook 1) | |
| 294 | |
| 295 (defun enriched-insert-indentation (&optional from to) | |
| 296 "Indent and justify each line in the region." | |
| 297 (save-excursion | |
| 298 (save-restriction | |
| 299 (if to (narrow-to-region (point-min) to)) | |
| 300 (goto-char (or from (point-min))) | |
| 301 (if (not (bolp)) (forward-line 1)) | |
| 302 (while (not (eobp)) | |
| 303 (if (eolp) | |
| 304 nil ; skip blank lines | |
| 305 (indent-to (current-left-margin)) | |
| 306 (justify-current-line t nil t)) | |
| 307 (forward-line 1))))) | |
| 308 | |
| 309 ;;; | |
| 310 ;;; Encoding Files | |
| 311 ;;; | |
| 312 | |
| 313 ;;;###autoload | |
| 314 (defun enriched-encode (from to orig-buf) | |
| 315 (if enriched-verbose (message "Enriched: encoding document...")) | |
|
56323
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
316 (let ((inhibit-read-only t)) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
317 (save-restriction |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
318 (narrow-to-region from to) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
319 (delete-to-left-margin) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
320 (unjustify-region) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
321 (goto-char from) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
322 (format-replace-strings '(("<" . "<<"))) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
323 (format-insert-annotations |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
324 (format-annotate-region from (point-max) enriched-translations |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
325 'enriched-make-annotation enriched-ignore)) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
326 (goto-char from) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
327 (insert (if (stringp enriched-initial-annotation) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
328 enriched-initial-annotation |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
329 (save-excursion |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
330 ;; Eval this in the buffer we are annotating. This |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
331 ;; fixes a bug which was saving incorrect File-Width |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
332 ;; information, since we were looking at local |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
333 ;; variables in the wrong buffer. |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
334 (if orig-buf (set-buffer orig-buf)) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
335 (funcall enriched-initial-annotation)))) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
336 (enriched-map-property-regions 'hard |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
337 (lambda (v b e) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
338 (if (and v (= ?\n (char-after b))) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
339 (progn (goto-char b) (insert "\n")))) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
340 (point) nil) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
341 (if enriched-verbose (message nil)) |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
342 ;; Return new end. |
|
a712704c769c
(enriched-encode): Bind inhibit-read-only.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
343 (point-max)))) |
| 51349 | 344 |
| 345 (defun enriched-make-annotation (internal-ann positive) | |
| 346 "Format an annotation INTERNAL-ANN. | |
| 347 INTERNAL-ANN may be a string, for a flag, or a list of the form (PARAM VALUE). | |
| 348 If POSITIVE is non-nil, this is the opening annotation; | |
| 349 if nil, the matching close." | |
| 350 (cond ((stringp internal-ann) | |
| 351 (format enriched-annotation-format (if positive "" "/") internal-ann)) | |
| 352 ;; Otherwise it is an annotation with parameters, represented as a list | |
| 353 (positive | |
| 354 (let ((item (car internal-ann)) | |
| 355 (params (cdr internal-ann))) | |
| 356 (concat (format enriched-annotation-format "" item) | |
| 357 (mapconcat (lambda (i) (concat "<param>" i "</param>")) | |
| 358 params "")))) | |
| 359 (t (format enriched-annotation-format "/" (car internal-ann))))) | |
| 360 | |
| 361 (defun enriched-encode-other-face (old new) | |
| 362 "Generate annotations for random face change. | |
| 363 One annotation each for foreground color, background color, italic, etc." | |
| 364 (cons (and old (enriched-face-ans old)) | |
| 365 (and new (enriched-face-ans new)))) | |
| 366 | |
| 367 (defun enriched-face-ans (face) | |
| 368 "Return annotations specifying FACE. | |
| 369 FACE may be a list of faces instead of a single face; | |
| 370 it can also be anything allowed as an element of a list | |
| 371 which can be the value of the `face' text property." | |
| 372 (cond ((and (consp face) (eq (car face) 'foreground-color)) | |
| 373 (list (list "x-color" (cdr face)))) | |
| 374 ((and (consp face) (eq (car face) 'background-color)) | |
| 375 (list (list "x-bg-color" (cdr face)))) | |
| 376 ((and (listp face) (eq (car face) :foreground)) | |
| 377 (list (list "x-color" (cadr face)))) | |
| 378 ((and (listp face) (eq (car face) :background)) | |
| 379 (list (list "x-bg-color" (cadr face)))) | |
| 380 ((listp face) | |
| 381 (apply 'append (mapcar 'enriched-face-ans face))) | |
| 382 ((let* ((fg (face-attribute face :foreground)) | |
| 383 (bg (face-attribute face :background)) | |
| 384 (props (face-font face t)) | |
| 385 (ans (cdr (format-annotate-single-property-change | |
| 386 'face nil props enriched-translations)))) | |
| 387 (unless (eq fg 'unspecified) | |
| 388 (setq ans (cons (list "x-color" fg) ans))) | |
| 389 (unless (eq bg 'unspecified) | |
| 390 (setq ans (cons (list "x-bg-color" bg) ans))) | |
| 391 ans)))) | |
| 392 | |
| 393 ;;; | |
| 394 ;;; Decoding files | |
| 395 ;;; | |
| 396 | |
| 397 ;;;###autoload | |
| 398 (defun enriched-decode (from to) | |
| 399 (if enriched-verbose (message "Enriched: decoding document...")) | |
| 400 (use-hard-newlines 1 'never) | |
| 401 (save-excursion | |
| 402 (save-restriction | |
| 403 (narrow-to-region from to) | |
| 404 (goto-char from) | |
| 405 | |
| 406 ;; Deal with header | |
| 407 (let ((file-width (enriched-get-file-width))) | |
| 408 (enriched-remove-header) | |
| 409 | |
| 410 ;; Deal with newlines | |
| 411 (while (search-forward-regexp "\n\n+" nil t) | |
| 412 (if (current-justification) | |
| 413 (delete-char -1)) | |
| 414 (set-hard-newline-properties (match-beginning 0) (point))) | |
| 415 | |
| 416 ;; Translate annotations | |
| 417 (format-deannotate-region from (point-max) enriched-translations | |
| 418 'enriched-next-annotation) | |
| 419 | |
| 420 ;; Indent or fill the buffer | |
| 421 (cond (file-width ; File was filled to this width | |
| 422 (setq fill-column file-width) | |
| 423 (if enriched-verbose (message "Indenting...")) | |
| 424 (enriched-insert-indentation)) | |
| 425 (t ; File was not filled. | |
| 426 (if enriched-verbose (message "Filling paragraphs...")) | |
| 427 (fill-region (point-min) (point-max)))) | |
| 428 (if enriched-verbose (message nil))) | |
| 429 (point-max)))) | |
| 430 | |
| 431 (defun enriched-next-annotation () | |
| 432 "Find and return next text/enriched annotation. | |
| 433 Any \"<<\" strings encountered are converted to \"<\". | |
| 434 Return value is \(begin end name positive-p), or nil if none was found." | |
| 435 (while (and (search-forward "<" nil 1) | |
| 436 (progn (goto-char (match-beginning 0)) | |
| 437 (not (looking-at enriched-annotation-regexp)))) | |
| 438 (forward-char 1) | |
| 439 (if (= ?< (char-after (point))) | |
| 440 (delete-char 1) | |
| 441 ;; A single < that does not start an annotation is an error, | |
| 442 ;; which we note and then ignore. | |
| 443 (message "Warning: malformed annotation in file at %s" | |
| 444 (1- (point))))) | |
| 445 (if (not (eobp)) | |
| 446 (let* ((beg (match-beginning 0)) | |
| 447 (end (match-end 0)) | |
| 448 (name (downcase (buffer-substring | |
| 449 (match-beginning 2) (match-end 2)))) | |
| 450 (pos (not (match-beginning 1)))) | |
| 451 (list beg end name pos)))) | |
| 452 | |
| 453 (defun enriched-get-file-width () | |
| 454 "Look for file width information on this line." | |
| 455 (save-excursion | |
| 456 (if (search-forward "Text-Width: " (+ (point) 1000) t) | |
| 457 (read (current-buffer))))) | |
| 458 | |
| 459 (defun enriched-remove-header () | |
| 460 "Remove file-format header at point." | |
| 461 (while (looking-at "^[-A-Za-z]+: .*\n") | |
| 462 (delete-region (point) (match-end 0))) | |
| 463 (if (looking-at "^\n") | |
| 464 (delete-char 1))) | |
| 465 | |
| 466 (defun enriched-decode-foreground (from to &optional color) | |
| 467 (if color | |
| 468 (list from to 'face (list ':foreground color)) | |
| 469 (message "Warning: no color specified for <x-color>") | |
| 470 nil)) | |
| 471 | |
| 472 (defun enriched-decode-background (from to &optional color) | |
| 473 (if color | |
| 474 (list from to 'face (list ':background color)) | |
| 475 (message "Warning: no color specified for <x-bg-color>") | |
| 476 nil)) | |
| 477 | |
| 478 ;;; Handling the `display' property. | |
| 479 | |
| 480 | |
| 481 (defun enriched-handle-display-prop (old new) | |
| 482 "Return a list of annotations for a change in the `display' property. | |
| 483 OLD is the old value of the property, NEW is the new value. Value | |
| 484 is a list `(CLOSE OPEN)', where CLOSE is a list of annotations to | |
| 485 close and OPEN a list of annotations to open. Each of these lists | |
| 486 has the form `(ANNOTATION PARAM ...)'." | |
| 487 (let ((annotation "x-display") | |
| 488 (param (prin1-to-string (or old new)))) | |
| 489 (if (null old) | |
| 490 (cons nil (list (list annotation param))) | |
| 491 (cons (list (list annotation param)) nil)))) | |
| 492 | |
| 493 (defun enriched-decode-display-prop (start end &optional param) | |
| 494 "Decode a `display' property for text between START and END. | |
| 495 PARAM is a `<param>' found for the property. | |
| 496 Value is a list `(START END SYMBOL VALUE)' with START and END denoting | |
|
51962
d4560e85f83c
(enriched-decode-display-prop): Doc fix.
John Paul Wallington <jpw@pobox.com>
parents:
51349
diff
changeset
|
497 the range of text to assign text property SYMBOL with value VALUE." |
| 51349 | 498 (let ((prop (when (stringp param) |
| 499 (condition-case () | |
| 500 (car (read-from-string param)) | |
| 501 (error nil))))) | |
| 502 (unless prop | |
| 503 (message "Warning: invalid <x-display> parameter %s" param)) | |
| 504 (list start end 'display prop))) | |
| 505 | |
|
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
79719
diff
changeset
|
506 ;; arch-tag: 05cae488-3fea-45cd-ac29-5b02cb64e42b |
| 51349 | 507 ;;; enriched.el ends here |
