Mercurial > emacs
annotate lisp/textmodes/sgml-mode.el @ 14270:15c3d6255a1c
(sgml-quick-keys): New variable.
(sgml-mode-map): Use it, defined additional long keys to compensate.
(sgml-tag-alist): Added <![ ]>
(sgml-tag): Special treatment for previous construct.
(sgml-auto-attributes): Deleted variable covered by sgml-quick-keys,
changed function of same name.
(sgml-delete-tag): Newline also counts as whitespace before tag.
(html-quick-keys): Use sgml-quick-keys as default, thus changed to nil.
(html-mode-map): Added C-c C-c char combinations for when
html-quick-keys is nil.
(html-tag-alist): Added /cgi-bin/ to href completions, submit (spelling
fixed) button to form.
(html-checkboxes): New skeleton.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Wed, 24 Jan 1996 17:12:21 +0000 |
parents | 83f275dcd93a |
children | 5d0e329a44d8 |
rev | line source |
---|---|
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1 ;;; sgml-mode.el --- SGML- and HTML-editing modes |
809 | 2 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
3 ;; Copyright (C) 1992, 1995, 1996 Free Software Foundation, Inc. |
844
bf829a2d63b4
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
828
diff
changeset
|
4 |
869 | 5 ;; Author: James Clark <jjc@clark.com> |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
6 ;; Adapted-By: ESR; Daniel.Pfeiffer@Informatik.START.dbp.de |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
7 ;; Keywords: wp, hypermedia, comm, languages |
809 | 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 | |
12244 | 13 ;; the Free Software Foundation; either version 2, or (at your option) |
809 | 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 | |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
809 | 25 |
26 ;;; Commentary: | |
27 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
28 ;; Configurable major mode for editing document in the SGML standard general |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
29 ;; markup language. As an example contains a mode for editing the derived |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
30 ;; HTML hypertext markup language. |
809 | 31 |
32 ;;; Code: | |
33 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
34 ;; As long as Emacs' syntax can't be complemented with predicates to context |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
35 ;; sensitively confirm the syntax of characters, we have to live with this |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
36 ;; kludgy kind of tradeoff. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
37 (defvar sgml-specials '(?\" ?-) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
38 "List of characters that have a special meaning for sgml-mode. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
39 This list is used when first loading the sgml-mode library. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
40 The supported characters and potential disadvantages are: |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
41 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
42 ?\\\" Makes \" in text start a string. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
43 ?' Makes ' in text start a string. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
44 ?- Makes -- in text start a comment. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
45 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
46 When only one of ?\\\" or ?' are included, \"'\" or '\"' as it can be found in |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
47 DTDs, start a string. To partially avoid this problem this also makes these |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
48 self insert as named entities depending on `sgml-quick-keys'. <!----> must |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
49 contain an even multiple of two (4, 8, ...) minuses, or Emacs' syntax |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
50 mechanism won't recognize a comment.") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
51 |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
52 (defvar sgml-quick-keys nil |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
53 "Use <, >, &, SPC and `sgml-specials' keys ``electrically'' when non-nil. |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
54 This takes effect when first loading the library.") |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
55 |
809 | 56 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
57 (defvar sgml-mode-map |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
58 (let ((map (list 'keymap (make-vector 256 nil))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
59 (menu-map (make-sparse-keymap "SGML"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
60 (define-key map "\t" 'indent-relative-maybe) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
61 (define-key map "\C-c\C-i" 'sgml-tags-invisible) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
62 (define-key map "/" 'sgml-slash) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
63 (define-key map "\C-c\C-n" 'sgml-name-char) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
64 (define-key map "\C-c\C-t" 'sgml-tag) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
65 (define-key map "\C-c\C-a" 'sgml-attributes) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
66 (define-key map "\C-c\C-b" 'sgml-skip-tag-backward) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
67 (define-key map [?\C-c left] 'sgml-skip-tag-backward) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
68 (define-key map "\C-c\C-f" 'sgml-skip-tag-forward) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
69 (define-key map [?\C-c right] 'sgml-skip-tag-forward) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
70 (define-key map "\C-c\C-d" 'sgml-delete-tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
71 (define-key map "\C-c\^?" 'sgml-delete-tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
72 (define-key map "\C-c?" 'sgml-tag-help) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
73 (define-key map "\C-c8" 'sgml-name-8bit-mode) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
74 (define-key map "\C-c\C-v" 'sgml-validate) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
75 (if sgml-quick-keys |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
76 (progn |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
77 (define-key map "&" 'sgml-name-char) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
78 (define-key map "<" 'sgml-tag) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
79 (define-key map " " 'sgml-auto-attributes) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
80 (define-key map ">" 'sgml-maybe-end-tag) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
81 (if (memq ?\" sgml-specials) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
82 (define-key map "\"" 'sgml-name-self)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
83 (if (memq ?' sgml-specials) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
84 (define-key map "'" 'sgml-name-self)))) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
85 (let ((c 127) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
86 (map (nth 1 map))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
87 (while (< (setq c (1+ c)) 256) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
88 (aset map c 'sgml-maybe-name-self))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
89 (define-key map [menu-bar sgml] (cons "SGML" menu-map)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
90 (define-key menu-map [sgml-validate] '("Validate" . sgml-validate)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
91 (define-key menu-map [sgml-name-8bit-mode] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
92 '("Toggle 8 Bit Insertion" . sgml-name-8bit-mode)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
93 (define-key menu-map [sgml-tags-invisible] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
94 '("Toggle Tag Visibility" . sgml-tags-invisible)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
95 (define-key menu-map [sgml-tag-help] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
96 '("Describe Tag" . sgml-tag-help)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
97 (define-key menu-map [sgml-delete-tag] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
98 '("Delete Tag" . sgml-delete-tag)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
99 (define-key menu-map [sgml-skip-tag-forward] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
100 '("Forward Tag" . sgml-skip-tag-forward)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
101 (define-key menu-map [sgml-skip-tag-backward] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
102 '("Backward Tag" . sgml-skip-tag-backward)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
103 (define-key menu-map [sgml-attributes] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
104 '("Insert Attributes" . sgml-attributes)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
105 (define-key menu-map [sgml-tag] '("Insert Tag" . sgml-tag)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
106 map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
107 "Keymap for SGML mode. See also `sgml-specials'.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
108 |
809 | 109 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
110 (defvar sgml-mode-syntax-table |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
111 (let ((table (copy-syntax-table text-mode-syntax-table))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
112 (modify-syntax-entry ?< "(>" table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
113 (modify-syntax-entry ?> ")<" table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
114 (if (memq ?- sgml-specials) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
115 (modify-syntax-entry ?- "_ 1234" table)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
116 (if (memq ?\" sgml-specials) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
117 (modify-syntax-entry ?\" "\"\"" table)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
118 (if (memq ?' sgml-specials) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
119 (modify-syntax-entry ?\' "\"'" table)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
120 table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
121 "Syntax table used in SGML mode. See also `sgml-specials'.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
122 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
123 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
124 (defvar sgml-name-8bit-mode nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
125 "*When non-`nil' insert 8 bit characters with their names.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
126 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
127 (defvar sgml-char-names |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
128 [nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
129 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
130 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
131 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
132 "ensp" "excl" "quot" "num" "dollar" "percnt" "amp" "apos" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
133 "lpar" "rpar" "ast" "plus" "comma" "hyphen" "period" "sol" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
134 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
135 nil nil "colon" "semi" "lt" "eq" "gt" "quest" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
136 "commat" nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
137 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
138 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
139 nil nil nil "lsqb" nil "rsqb" "uarr" "lowbar" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
140 "lsquo" nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
141 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
142 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
143 nil nil nil "lcub" "verbar" "rcub" "tilde" nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
144 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
145 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
146 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
147 nil nil nil nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
148 "nbsp" "iexcl" "cent" "pound" "curren" "yen" "brvbar" "sect" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
149 "uml" "copy" "ordf" "laquo" "not" "shy" "reg" "macr" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
150 "ring" "plusmn" "sup2" "sup3" "acute" "micro" "para" "middot" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
151 "cedil" "sup1" "ordm" "raquo" "frac14" "half" "frac34" "iquest" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
152 "Agrave" "Aacute" "Acirc" "Atilde" "Auml" "Aring" "AElig" "Ccedil" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
153 "Egrave" "Eacute" "Ecirc" "Euml" "Igrave" "Iacute" "Icirc" "Iuml" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
154 "ETH" "Ntilde" "Ograve" "Oacute" "Ocirc" "Otilde" "Ouml" nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
155 "Oslash" "Ugrave" "Uacute" "Ucirc" "Uuml" "Yacute" "THORN" "szlig" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
156 "agrave" "aacute" "acirc" "atilde" "auml" "aring" "aelig" "ccedil" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
157 "egrave" "eacute" "ecirc" "euml" "igrave" "iacute" "icirc" "iuml" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
158 "eth" "ntilde" "ograve" "oacute" "ocirc" "otilde" "ouml" "divide" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
159 "oslash" "ugrave" "uacute" "ucirc" "uuml" "yacute" "thorn" "yuml"] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
160 "Vector of symbolic character names without `&' and `;'.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
161 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
162 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
163 ;; sgmls is a free SGML parser available from |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
164 ;; ftp.uu.net:pub/text-processing/sgml |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
165 ;; Its error messages can be parsed by next-error. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
166 ;; The -s option suppresses output. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
167 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
168 (defvar sgml-validate-command "sgmls -s" |
809 | 169 "*The command to validate an SGML document. |
170 The file name of current buffer file name will be appended to this, | |
171 separated by a space.") | |
172 | |
173 (defvar sgml-saved-validate-command nil | |
174 "The command last used to validate in this buffer.") | |
175 | |
176 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
177 ;;; I doubt that null end tags are used much for large elements, |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
178 ;;; so use a small distance here. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
179 (defconst sgml-slash-distance 1000 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
180 "*If non-nil, is the maximum distance to search for matching /.") |
809 | 181 |
182 (defconst sgml-start-tag-regex | |
183 "<[A-Za-z]\\([-.A-Za-z0-9= \n\t]\\|\"[^\"]*\"\\|'[^']*'\\)*" | |
184 "Regular expression that matches a non-empty start tag. | |
185 Any terminating > or / is not matched.") | |
186 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
187 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
188 (defvar sgml-font-lock-keywords |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
189 '(("<\\([!?][a-z0-9]+\\)" 1 font-lock-keyword-face) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
190 ("<\\(/?[a-z0-9]+\\)" 1 font-lock-function-name-face) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
191 ("[&%][-.A-Za-z0-9]+;?" . font-lock-variable-name-face)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
192 "*Rules for highlighting SGML code. See also `sgml-tag-face-alist'.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
193 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
194 ;; internal |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
195 (defvar sgml-font-lock-keywords-1 ()) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
196 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
197 (defvar sgml-face-tag-alist () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
198 "Alist of face and tag name for facemenu.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
199 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
200 (defvar sgml-tag-face-alist () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
201 "Tag names and face or list of faces to fontify with when invisible. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
202 When `font-lock-maximum-decoration' is 1 this is always used for fontifying. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
203 When more these are fontified together with `sgml-font-lock-keywords'.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
204 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
205 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
206 (defvar sgml-display-text () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
207 "Tag names as lowercase symbols, and display string when invisible.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
208 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
209 ;; internal |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
210 (defvar sgml-tags-invisible nil) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
211 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
212 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
213 (defvar sgml-tag-alist |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
214 '(("![" ("ignore" t) ("include" t)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
215 ("!attlist") |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
216 ("!doctype") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
217 ("!element") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
218 ("!entity")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
219 "*Alist of tag names for completing read and insertion rules. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
220 This alist is made up as |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
221 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
222 ((\"tag\" . TAGRULE) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
223 ...) |
809 | 224 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
225 TAGRULE is a list of optionally `t' (no endtag) or `\\n' (separate endtag by |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
226 newlines) or a skeleton with `nil', `t' or `\\n' in place of the interactor |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
227 followed by an ATTRIBUTERULE (for an always present attribute) or an |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
228 attribute alist. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
229 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
230 The attribute alist is made up as |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
231 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
232 ((\"attribute\" . ATTRIBUTERULE) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
233 ...) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
234 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
235 ATTRIBUTERULE is a list of optionally `t' (no value when no input) followed by |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
236 an optional alist of possible values.") |
809 | 237 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
238 (defvar sgml-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
239 '(("!" . "Empty declaration for comment") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
240 ("![" . "Embed declarations with parser directive") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
241 ("!attlist" . "Tag attributes declaration") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
242 ("!doctype" . "Document type (DTD) declaration") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
243 ("!element" . "Tag declaration") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
244 ("!entity" . "Entity (macro) declaration")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
245 "*Alist of tag name and short description.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
246 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
247 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
248 ;; put read-only last to enable setting this even when read-only enabled |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
249 (or (get 'sgml-tag 'invisible) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
250 (setplist 'sgml-tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
251 (append '(invisible t |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
252 rear-nonsticky t |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
253 point-entered sgml-point-entered |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
254 read-only t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
255 (symbol-plist 'sgml-tag)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
256 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
257 |
809 | 258 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
259 (defun sgml-mode-common (sgml-tag-face-alist sgml-display-text) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
260 "Common code for setting up `sgml-mode' and derived modes. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
261 SGML-TAG-FACE-ALIST is used for calculating `sgml-font-lock-keywords-1'. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
262 SGML-DISPLAY-TEXT sets up alternate text for when tags are invisible (see |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
263 varables of same name)." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
264 (kill-all-local-variables) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
265 (setq local-abbrev-table text-mode-abbrev-table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
266 (set-syntax-table sgml-mode-syntax-table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
267 (make-local-variable 'indent-line-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
268 (make-local-variable 'paragraph-start) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
269 (make-local-variable 'paragraph-separate) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
270 (make-local-variable 'sgml-saved-validate-command) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
271 (make-local-variable 'comment-start) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
272 (make-local-variable 'comment-end) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
273 (make-local-variable 'comment-indent-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
274 (make-local-variable 'comment-start-skip) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
275 (make-local-variable 'comment-indent-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
276 (make-local-variable 'sgml-tags-invisible) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
277 (make-local-variable 'skeleton-transformation) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
278 (make-local-variable 'skeleton-further-elements) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
279 (make-local-variable 'skeleton-end-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
280 (make-local-variable 'font-lock-defaults) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
281 (make-local-variable 'sgml-font-lock-keywords-1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
282 (make-local-variable 'facemenu-add-face-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
283 (make-local-variable 'facemenu-end-add-face) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
284 ;;(make-local-variable 'facemenu-remove-face-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
285 (and sgml-tag-face-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
286 (not (assq 1 sgml-tag-face-alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
287 (nconc sgml-tag-face-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
288 `((1 (,(concat "<\\(" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
289 (mapconcat 'car sgml-tag-face-alist "\\|") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
290 "\\)\\([ \t].+\\)?>\\(.+\\)</\\1>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
291 3 (cdr (assoc (match-string 1) ',sgml-tag-face-alist))))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
292 (setq indent-line-function 'indent-relative-maybe |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
293 ;; A start or end tag by itself on a line separates a paragraph. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
294 ;; This is desirable because SGML discards a newline that appears |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
295 ;; immediately after a start tag or immediately before an end tag. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
296 paragraph-start "^[ \t\n]\\|\ |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
297 \\(</?\\([A-Za-z]\\([-.A-Za-z0-9= \t\n]\\|\"[^\"]*\"\\|'[^']*'\\)*\\)?>$\\)" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
298 paragraph-separate "^[ \t\n]*$\\|\ |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
299 ^</?\\([A-Za-z]\\([-.A-Za-z0-9= \t\n]\\|\"[^\"]*\"\\|'[^']*'\\)*\\)?>$" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
300 comment-start "<!-- " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
301 comment-end " -->" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
302 comment-indent-function 'sgml-comment-indent |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
303 ;; This will allow existing comments within declarations to be |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
304 ;; recognized. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
305 comment-start-skip "--[ \t]*" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
306 skeleton-transformation 'identity |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
307 skeleton-further-elements '((completion-ignore-case t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
308 skeleton-end-hook (lambda () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
309 (or (eolp) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
310 (not (or (eq v2 '\n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
311 (eq (car-safe v2) '\n))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
312 (newline-and-indent))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
313 sgml-font-lock-keywords-1 (cdr (assq 1 sgml-tag-face-alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
314 font-lock-defaults '((sgml-font-lock-keywords |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
315 sgml-font-lock-keywords-1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
316 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
317 t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
318 facemenu-add-face-function |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
319 (lambda (face end) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
320 (if (setq face (cdr (assq face sgml-face-tag-alist))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
321 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
322 (setq facemenu-end-add-face (concat "</" face ">")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
323 (concat "<" face ">")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
324 (error "Face not configured for %s mode." mode-name)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
325 (while sgml-display-text |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
326 (put (car (car sgml-display-text)) 'before-string |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
327 (cdr (car sgml-display-text))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
328 (setq sgml-display-text (cdr sgml-display-text))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
329 (run-hooks 'text-mode-hook 'sgml-mode-hook)) |
809 | 330 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
331 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
332 ;;;###autoload |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
333 (defun sgml-mode (&optional function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
334 "Major mode for editing SGML documents. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
335 Makes > match <. Makes / blink matching /. |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
336 Keys <, &, SPC within <>, \" and ' can be electric depending on |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
337 `sgml-quick-keys'. |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
338 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
339 Do \\[describe-variable] sgml- SPC to see available variables. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
340 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
341 Use \\[sgml-validate] to validate your document with an SGML parser. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
342 \\{sgml-mode-map}" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
343 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
344 (sgml-mode-common sgml-tag-face-alist sgml-display-text) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
345 (use-local-map sgml-mode-map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
346 (setq mode-name "SGML" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
347 major-mode 'sgml-mode)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
348 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
349 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
350 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
351 (defun sgml-comment-indent () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
352 (if (and (looking-at "--") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
353 (not (and (eq (preceding-char) ?!) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
354 (eq (char-after (- (point) 2)) ?<)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
355 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
356 (skip-chars-backward " \t") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
357 (max comment-column (1+ (current-column)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
358 0)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
359 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
360 |
809 | 361 |
362 (defun sgml-slash (arg) | |
363 "Insert / and display any previous matching /. | |
364 Two /s are treated as matching if the first / ends a net-enabling | |
365 start tag, and the second / is the corresponding null end tag." | |
366 (interactive "p") | |
367 (insert-char ?/ arg) | |
368 (if (> arg 0) | |
369 (let ((oldpos (point)) | |
370 (blinkpos) | |
371 (level 0)) | |
372 (save-excursion | |
373 (save-restriction | |
374 (if sgml-slash-distance | |
375 (narrow-to-region (max (point-min) | |
376 (- (point) sgml-slash-distance)) | |
377 oldpos)) | |
378 (if (and (re-search-backward sgml-start-tag-regex (point-min) t) | |
379 (eq (match-end 0) (1- oldpos))) | |
380 () | |
381 (goto-char (1- oldpos)) | |
382 (while (and (not blinkpos) | |
383 (search-backward "/" (point-min) t)) | |
384 (let ((tagend (save-excursion | |
385 (if (re-search-backward sgml-start-tag-regex | |
386 (point-min) t) | |
387 (match-end 0) | |
388 nil)))) | |
389 (if (eq tagend (point)) | |
390 (if (eq level 0) | |
391 (setq blinkpos (point)) | |
392 (setq level (1- level))) | |
393 (setq level (1+ level))))))) | |
394 (if blinkpos | |
395 (progn | |
396 (goto-char blinkpos) | |
397 (if (pos-visible-in-window-p) | |
398 (sit-for 1) | |
399 (message "Matches %s" | |
400 (buffer-substring (progn | |
401 (beginning-of-line) | |
402 (point)) | |
403 (1+ blinkpos)))))))))) | |
404 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
405 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
406 (defun sgml-name-char (&optional char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
407 "Insert a symbolic character name according to `sgml-char-names'. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
408 8 bit chars may be inserted with the meta key as in M-SPC for no break space, |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
409 or M-- for a soft hyphen." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
410 (interactive "*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
411 (insert ?&) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
412 (or char |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
413 (setq char (read-quoted-char))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
414 (delete-backward-char 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
415 (insert char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
416 (undo-boundary) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
417 (delete-backward-char 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
418 (insert ?& |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
419 (or (aref sgml-char-names char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
420 (format "#%d" char)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
421 ?\;)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
422 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
423 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
424 (defun sgml-name-self () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
425 "Insert a symbolic character name according to `sgml-char-names'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
426 (interactive "*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
427 (sgml-name-char last-command-char)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
428 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
429 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
430 (defun sgml-maybe-name-self () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
431 "Insert a symbolic character name according to `sgml-char-names'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
432 (interactive "*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
433 (if sgml-name-8bit-mode |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
434 (sgml-name-char last-command-char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
435 (self-insert-command 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
436 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
437 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
438 (defun sgml-name-8bit-mode () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
439 "Toggle insertion of 8 bit characters." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
440 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
441 (setq sgml-name-8bit-mode (not sgml-name-8bit-mode))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
442 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
443 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
444 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
445 (define-skeleton sgml-tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
446 "Insert a tag you are prompted for, optionally with attributes. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
447 Completion and configuration is according to `sgml-tag-alist'. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
448 If you like tags and attributes in uppercase set `skeleton-transformation' |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
449 to `upcase'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
450 (funcall skeleton-transformation |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
451 (completing-read "Tag: " sgml-tag-alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
452 ?< (setq v1 (eval str)) | |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
453 (("") -1 '(undo-boundary) "<") | |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
454 (("") '(setq v2 (sgml-attributes v1 t)) ?> |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
455 (if (string= "![" v1) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
456 (prog1 '(("") " [ " _ " ]]") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
457 (backward-char)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
458 (if (or (eq v2 t) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
459 (string-match "^[/!?]" v1)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
460 () |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
461 (if (symbolp v2) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
462 '(("") v2 _ v2 "</" v1 ?>) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
463 (if (eq (car v2) t) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
464 (cons '("") (cdr v2)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
465 (append '(("") (car v2)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
466 (cdr v2) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
467 '(resume: (car v2) _ "</" v1 ?>)))))))) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
468 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
469 (autoload 'skeleton-read "skeleton") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
470 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
471 (defun sgml-attributes (alist &optional quiet) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
472 "When at toplevel of a tag, interactively insert attributes." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
473 (interactive (list (save-excursion (sgml-beginning-of-tag t)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
474 (or (stringp alist) (error "Wrong context for adding attribute")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
475 (if alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
476 (let ((completion-ignore-case t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
477 car attribute i) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
478 (setq alist (cdr (assoc (downcase alist) sgml-tag-alist))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
479 (if (or (symbolp (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
480 (symbolp (car (car alist)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
481 (setq car (car alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
482 alist (cdr alist))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
483 (or quiet |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
484 (message "No attributes configured.")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
485 (if (stringp (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
486 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
487 (insert (if (eq (preceding-char) ? ) "" ? ) (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
488 (sgml-value alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
489 (setq i (length alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
490 (while (> i 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
491 (insert ? ) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
492 (insert (funcall skeleton-transformation |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
493 (setq attribute |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
494 (skeleton-read '(completing-read |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
495 "[Attribute]: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
496 alist))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
497 (if (string= "" attribute) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
498 (setq i 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
499 (sgml-value (assoc attribute alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
500 (setq i (1- i)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
501 (if (eq (preceding-char) ? ) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
502 (delete-backward-char 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
503 car))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
504 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
505 (defun sgml-auto-attributes (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
506 "Self insert, except, when at top level of tag, prompt for attributes. |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
507 With prefix ARG only self insert." |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
508 (interactive "*P") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
509 (let ((point (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
510 tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
511 (if (or arg |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
512 (not sgml-tag-alist) ; no message when nothing configured |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
513 (symbolp (setq tag (save-excursion (sgml-beginning-of-tag t)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
514 (eq (aref tag 0) ?/)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
515 (self-insert-command (prefix-numeric-value arg)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
516 (sgml-attributes tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
517 (setq last-command-char ? ) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
518 (or (> (point) point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
519 (self-insert-command 1))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
520 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
521 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
522 (defun sgml-tag-help (&optional tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
523 "Display description of optional TAG or tag at point." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
524 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
525 (or tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
526 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
527 (if (eq (following-char) ?<) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
528 (forward-char)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
529 (setq tag (sgml-beginning-of-tag)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
530 (or (stringp tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
531 (error "No tag selected")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
532 (setq tag (downcase tag)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
533 (message (or (cdr (assoc tag sgml-tag-help)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
534 (and (eq (aref tag 0) ?/) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
535 (cdr (assoc (substring tag 1) sgml-tag-help))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
536 "No description available"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
537 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
538 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
539 (defun sgml-maybe-end-tag () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
540 "Name self unless in position to end a tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
541 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
542 (or (condition-case nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
543 (save-excursion (up-list -1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
544 (error |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
545 (sgml-name-self) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
546 t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
547 (condition-case nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
548 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
549 (save-excursion (up-list 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
550 (sgml-name-self)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
551 (error (self-insert-command 1))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
552 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
553 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
554 (defun sgml-skip-tag-backward (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
555 "Skip to beginning of tag or matching opening tag if present. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
556 With prefix ARG, repeat that many times." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
557 (interactive "p") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
558 (while (>= arg 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
559 (search-backward "<" nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
560 (if (looking-at "</\\([^ \n\t>]+\\)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
561 ;; end tag, skip any nested pairs |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
562 (let ((case-fold-search t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
563 (re (concat "</?" (regexp-quote (match-string 1))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
564 (while (and (re-search-backward re nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
565 (eq (char-after (1+ (point))) ?/)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
566 (forward-char 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
567 (sgml-skip-tag-backward 1)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
568 (setq arg (1- arg)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
569 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
570 (defun sgml-skip-tag-forward (arg &optional return) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
571 "Skip to end of tag or matching closing tag if present. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
572 With prefix ARG, repeat that many times. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
573 Return t iff after a closing tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
574 (interactive "p") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
575 (setq return t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
576 (while (>= arg 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
577 (skip-chars-forward "^<>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
578 (if (eq (following-char) ?>) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
579 (up-list -1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
580 (if (looking-at "<\\([^/ \n\t>]+\\)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
581 ;; start tag, skip any nested same pairs _and_ closing tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
582 (let ((case-fold-search t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
583 (re (concat "</?" (regexp-quote (match-string 1)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
584 point close) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
585 (forward-list 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
586 (setq point (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
587 (while (and (re-search-forward re nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
588 (not (setq close |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
589 (eq (char-after (1+ (match-beginning 0))) ?/))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
590 (not (up-list -1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
591 (sgml-skip-tag-forward 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
592 (setq close nil)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
593 (if close |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
594 (up-list 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
595 (goto-char point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
596 (setq return))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
597 (forward-list 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
598 (setq arg (1- arg))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
599 return) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
600 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
601 (defun sgml-delete-tag (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
602 "Delete tag on or after cursor, and matching closing or opening tag. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
603 With prefix ARG, repeat that many times." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
604 (interactive "p") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
605 (while (>= arg 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
606 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
607 (let* (close open) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
608 (if (looking-at "[ \t\n]*<") |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
609 ;; just before tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
610 (if (eq (char-after (match-end 0)) ?/) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
611 ;; closing tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
612 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
613 (setq close (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
614 (goto-char (match-end 0)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
615 ;; on tag? |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
616 (or (save-excursion (setq close (sgml-beginning-of-tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
617 close (and (stringp close) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
618 (eq (aref close 0) ?/) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
619 (point)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
620 ;; not on closing tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
621 (let ((point (point))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
622 (sgml-skip-tag-backward 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
623 (if (or (not (eq (following-char) ?<)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
624 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
625 (forward-list 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
626 (<= (point) point))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
627 (error "Not on or before tag"))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
628 (if close |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
629 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
630 (sgml-skip-tag-backward 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
631 (setq open (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
632 (goto-char close) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
633 (kill-sexp 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
634 (setq open (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
635 (sgml-skip-tag-forward 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
636 (backward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
637 (forward-char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
638 (if (eq (aref (sgml-beginning-of-tag) 0) ?/) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
639 (kill-sexp 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
640 (goto-char open) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
641 (kill-sexp 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
642 (setq arg (1- arg)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
643 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
644 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
645 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
646 (defun sgml-tags-invisible (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
647 "Toggle visibility of existing tags." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
648 (interactive "P") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
649 (let ((modified (buffer-modified-p)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
650 (inhibit-read-only t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
651 (point (point-min)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
652 symbol) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
653 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
654 (goto-char point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
655 (if (setq sgml-tags-invisible |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
656 (if arg |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
657 (>= (prefix-numeric-value arg) 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
658 (not sgml-tags-invisible))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
659 (while (re-search-forward "<\\([!/?A-Za-z][-A-Za-z0-9]*\\)" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
660 nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
661 (setq symbol (intern-soft (downcase (match-string 1)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
662 (goto-char (match-beginning 0)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
663 (and (get symbol 'before-string) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
664 (not (overlays-at (point))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
665 (overlay-put (make-overlay (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
666 (match-beginning 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
667 'category symbol)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
668 (put-text-property (setq point (point)) (forward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
669 'intangible (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
670 (put-text-property point (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
671 'category 'sgml-tag)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
672 (while (< (setq point (next-overlay-change point)) (point-max)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
673 (delete-overlay (car (overlays-at point)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
674 (remove-text-properties (point-min) (point-max) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
675 '(category sgml-tag intangible t)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
676 (set-buffer-modified-p modified) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
677 (run-hooks 'sgml-tags-invisible-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
678 (message ""))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
679 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
680 (defun sgml-point-entered (x y) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
681 ;; Show preceding or following hidden tag, depending of cursor direction. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
682 (let ((inhibit-point-motion-hooks t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
683 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
684 (message "Invisible tag: %s" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
685 (buffer-substring |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
686 (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
687 (if (or (and (> x y) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
688 (not (eq (following-char) ?<))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
689 (and (< x y) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
690 (eq (preceding-char) ?>))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
691 (backward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
692 (forward-list))))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
693 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
694 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
695 (autoload 'compile-internal "compile") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
696 |
809 | 697 (defun sgml-validate (command) |
698 "Validate an SGML document. | |
699 Runs COMMAND, a shell command, in a separate process asynchronously | |
700 with output going to the buffer *compilation*. | |
701 You can then use the command \\[next-error] to find the next error message | |
702 and move to the line in the SGML document that caused it." | |
703 (interactive | |
704 (list (read-string "Validate command: " | |
705 (or sgml-saved-validate-command | |
706 (concat sgml-validate-command | |
707 " " | |
708 (let ((name (buffer-file-name))) | |
709 (and name | |
710 (file-name-nondirectory name)))))))) | |
711 (setq sgml-saved-validate-command command) | |
3121
8cf203c42bee
(sgml-validate): compile1 renamed to compile-internal.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
712 (compile-internal command "No more errors")) |
809 | 713 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
714 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
715 (defun sgml-beginning-of-tag (&optional top-level) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
716 "Skip to beginning of tag and return its name. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
717 Else `t'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
718 (or (if top-level |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
719 (condition-case nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
720 (up-list -1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
721 (error t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
722 (>= (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
723 (if (search-backward "<" nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
724 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
725 (forward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
726 (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
727 0))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
728 (if (looking-at "<[!?/]?[[A-Za-z][A-Za-z0-9]*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
729 (buffer-substring-no-properties |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
730 (1+ (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
731 (match-end 0)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
732 t))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
733 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
734 (defun sgml-value (alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
735 (setq alist (cdr alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
736 (if (stringp (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
737 (insert "=\"" (car alist) ?\") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
738 (if (eq (car alist) t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
739 (if (cdr alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
740 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
741 (insert "=\"") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
742 (setq alist (skeleton-read '(completing-read |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
743 "[Value]: " (cdr alist)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
744 (if (string< "" alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
745 (insert (funcall skeleton-transformation alist) ?\") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
746 (delete-backward-char 2)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
747 (insert "=\"") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
748 (if alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
749 (insert (funcall skeleton-transformation |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
750 (skeleton-read '(completing-read "Value: " alist))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
751 (insert ?\")))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
752 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
753 (provide 'sgml-mode) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
754 |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
755 (defvar html-quick-keys sgml-quick-keys |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
756 "Use C-c X combinations for quick insertion of frequent tags when non-nil. |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
757 This defaults to `sgml-quick-keys'. |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
758 This takes effect when first loading the library.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
759 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
760 (defvar html-mode-map |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
761 (let ((map (nconc (make-sparse-keymap) sgml-mode-map)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
762 (menu-map (make-sparse-keymap "HTML"))) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
763 (define-key map "\C-c6" 'html-headline) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
764 (define-key map "\C-c5" 'html-headline) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
765 (define-key map "\C-c4" 'html-headline) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
766 (define-key map "\C-c3" 'html-headline) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
767 (define-key map "\C-c2" 'html-headline) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
768 (define-key map "\C-c1" 'html-headline) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
769 (define-key map "\C-c\r" 'html-paragraph) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
770 (define-key map "\C-c\n" 'html-line) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
771 (define-key map "\C-c\C-c-" 'html-horizontal-rule) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
772 (define-key map "\C-c\C-co" 'html-list) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
773 (define-key map "\C-c\C-cu" 'html-list) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
774 (define-key map "\C-c\C-cr" 'html-radio-buttons) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
775 (define-key map "\C-c\C-cc" 'html-checkboxes) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
776 (define-key map "\C-c\C-cl" 'html-list-item) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
777 (define-key map "\C-c\C-ch" 'html-href-anchor) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
778 (define-key map "\C-c\C-cn" 'html-name-anchor) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
779 (define-key map "\C-c\C-ci" 'html-image) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
780 (if html-quick-keys |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
781 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
782 (define-key map "\C-c-" 'html-horizontal-rule) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
783 (define-key map "\C-co" 'html-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
784 (define-key map "\C-cu" 'html-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
785 (define-key map "\C-cr" 'html-radio-buttons) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
786 (define-key map "\C-cc" 'html-checkboxes) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
787 (define-key map "\C-cl" 'html-list-item) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
788 (define-key map "\C-ch" 'html-href-anchor) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
789 (define-key map "\C-cn" 'html-name-anchor) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
790 (define-key map "\C-ci" 'html-image))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
791 (define-key map "\C-c\C-s" 'html-autoview-mode) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
792 (define-key map "\C-c\C-v" 'browse-url-of-buffer) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
793 (define-key map [menu-bar html] (cons "HTML" menu-map)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
794 (define-key menu-map [html-autoview-mode] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
795 '("Toggle Autoviewing" . html-autoview-mode)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
796 (define-key menu-map [browse-url-of-buffer] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
797 '("View Buffer Contents" . browse-url-of-buffer)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
798 (define-key menu-map [nil] '("--")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
799 ;;(define-key menu-map "6" '("Heading 6" . html-headline)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
800 ;;(define-key menu-map "5" '("Heading 5" . html-headline)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
801 ;;(define-key menu-map "4" '("Heading 4" . html-headline)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
802 (define-key menu-map "3" '("Heading 3" . html-headline)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
803 (define-key menu-map "2" '("Heading 2" . html-headline)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
804 (define-key menu-map "1" '("Heading 1" . html-headline)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
805 (define-key menu-map "l" '("Radio Buttons" . html-radio-buttons)) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
806 (define-key menu-map "c" '("Checkboxes" . html-checkboxes)) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
807 (define-key menu-map "l" '("List Item" . html-list-item)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
808 (define-key menu-map "u" '("Unordered List" . html-list)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
809 (define-key menu-map "o" '("Ordered List" . html-list)) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
810 (define-key menu-map "-" '("Horizontal Rule" . html-horizontal-rule)) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
811 (define-key menu-map "\n" '("Line Break" . html-line)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
812 (define-key menu-map "\r" '("Paragraph" . html-paragraph)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
813 (define-key menu-map "i" '("Image" . html-image)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
814 (define-key menu-map "h" '("Href Anchor" . html-href-anchor)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
815 (define-key menu-map "n" '("Name Anchor" . html-name-anchor)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
816 map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
817 "Keymap for commands for use in HTML mode.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
818 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
819 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
820 (defvar html-face-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
821 '((bold . "b") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
822 (italic . "i") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
823 (underline . "u") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
824 (modeline . "rev")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
825 "Value of `sgml-face-tag-alist' for HTML mode.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
826 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
827 (defvar html-tag-face-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
828 '(("b" . bold) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
829 ("big" . bold) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
830 ("blink" . highlight) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
831 ("cite" . italic) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
832 ("em" . italic) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
833 ("h1" bold underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
834 ("h2" bold-italic underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
835 ("h3" italic underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
836 ("h4" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
837 ("h5" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
838 ("h6" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
839 ("i" . italic) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
840 ("rev" . modeline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
841 ("s" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
842 ("small" . default) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
843 ("strong" . bold) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
844 ("title" bold underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
845 ("tt" . default) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
846 ("u" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
847 ("var" . italic)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
848 "Value of `sgml-tag-face-alist' for HTML mode.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
849 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
850 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
851 (defvar html-display-text |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
852 '((img . "[/]") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
853 (hr . "----------") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
854 (li . "o ")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
855 "Value of `sgml-display-text' for HTML mode.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
856 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
857 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
858 ; should code exactly HTML 3 here when that is finished |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
859 (defvar html-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
860 (let* ((1-9 '(("8") ("9") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
861 ("1") ("2") ("3") ("4") ("5") ("6") ("7"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
862 (align '(("align" ("left") ("center") ("right")))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
863 (valign '(("top") ("middle") ("bottom") ("baseline"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
864 (rel '(("next") ("previous") ("parent") ("subdocument") ("made"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
865 (href '("href" ("ftp:") ("file:") ("finger:") ("gopher:") ("http:") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
866 ("mailto:") ("news:") ("rlogin:") ("telnet:") ("tn3270:") |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
867 ("wais:") ("/cgi-bin/"))) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
868 (name '("name")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
869 (link `(,href |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
870 ("rel" ,@rel) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
871 ("rev" ,@rel) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
872 ("title"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
873 (list '((nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
874 ( "List item: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
875 "<li>" str \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
876 ("type" ("A") ("a") ("I") ("i") ("1")))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
877 (cell `(t |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
878 ,align |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
879 ("valign" ,@valign) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
880 ("colspan" ,@1-9) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
881 ("rowspan" ,@1-9) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
882 ("nowrap" t)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
883 ;; put ,-expressions first, else byte-compile chokes (as of V19.29) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
884 ;; and like this it's more efficient anyway |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
885 `(("a" ,name ,@link) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
886 ("base" t ,@href) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
887 ("dir" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
888 ("font" "size" ("-1") ("+1") ("-2") ("+2") ,@(cdr (cdr 1-9))) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
889 ("form" (\n _ \n "<input type=\"submit\" value=\"\">") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
890 ("action" ,@(cdr href)) ("method" ("get") ("post"))) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
891 ("h1" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
892 ("h2" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
893 ("h3" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
894 ("h4" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
895 ("h5" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
896 ("h6" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
897 ("hr" t ("size" ,@1-9) ("width") ("noshade" t) ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
898 ("img" t ("align" ,@valign ("texttop") ("absmiddle") ("absbottom")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
899 ("src") ("alt") ("width" "1") ("height" "1") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
900 ("border" "1") ("vspace" "1") ("hspace" "1") ("ismap" t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
901 ("input" t ("size" ,@1-9) ("maxlength" ,@1-9) ("checked" t) ,name |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
902 ("type" ("text") ("password") ("checkbox") ("radio") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
903 ("submit") ("reset")) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
904 ("value")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
905 ("link" t ,@link) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
906 ("menu" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
907 ("ol" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
908 ("p" t ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
909 ("select" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
910 ("Text: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
911 "<option>" str \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
912 ,name ("size" ,@1-9) ("multiple" t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
913 ("table" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
914 ((completing-read "Cell kind: " '(("td") ("th")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
915 nil t "t") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
916 "<tr><" str ?> _ \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
917 ("border" t ,@1-9) ("width" "10") ("cellpadding")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
918 ("td" ,@cell) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
919 ("textarea" ,name ("rows" ,@1-9) ("cols" ,@1-9)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
920 ("th" ,@cell) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
921 ("ul" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
922 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
923 ,@sgml-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
924 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
925 ("abbrev") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
926 ("acronym") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
927 ("address") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
928 ("array" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
929 ("Item: " "<item>" str \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
930 "align") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
931 ("au") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
932 ("b") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
933 ("big") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
934 ("blink") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
935 ("blockquote" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
936 ("body" \n ("background" ".gif") ("bgcolor" "#") ("text" "#") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
937 ("link" "#") ("alink" "#") ("vlink" "#")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
938 ("box" (nil _ "<over>" _)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
939 ("br" t ("clear" ("left") ("right"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
940 ("caption" ("valign" ("top") ("bottom"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
941 ("center" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
942 ("cite") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
943 ("code" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
944 ("dd" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
945 ("del") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
946 ("dfn") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
947 ("dl" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
948 ( "Term: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
949 "<dt>" str "<dd>" _ \n))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
950 ("dt" (t _ "<dd>")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
951 ("em") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
952 ("fn" "id" "fn") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
953 ("head" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
954 ("html" (\n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
955 "<head>\n" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
956 "<title>" (setq str (read-input "Title: ")) "</title>\n" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
957 "<body>\n<h1>" str "</h1>\n" _ |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
958 "\n<address>\n<a href=\"mailto:" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
959 (user-login-name) ?@ (system-name) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
960 "\">" (user-full-name) "</a>\n</address>")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
961 ("i") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
962 ("ins") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
963 ("isindex" t ("action") ("prompt")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
964 ("kbd") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
965 ("lang") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
966 ("li" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
967 ("math" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
968 ("nobr") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
969 ("option" t ("value") ("label") ("selected" t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
970 ("over" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
971 ("person") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
972 ("pre" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
973 ("q") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
974 ("rev") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
975 ("s") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
976 ("samp") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
977 ("small") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
978 ("strong") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
979 ("sub") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
980 ("sup") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
981 ("title") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
982 ("tr" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
983 ("tt") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
984 ("u") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
985 ("var") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
986 ("wbr" t))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
987 "*Value of `sgml-tag-alist' for HTML mode.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
988 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
989 (defvar html-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
990 `(,@sgml-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
991 ("a" . "Anchor of point or link elsewhere") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
992 ("abbrev" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
993 ("acronym" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
994 ("address" . "Formatted mail address") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
995 ("array" . "Math array") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
996 ("au" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
997 ("b" . "Bold face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
998 ("base" . "Base address for URLs") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
999 ("big" . "Font size") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1000 ("blink" . "Blinking text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1001 ("blockquote" . "Indented quotation") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1002 ("body" . "Document body") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1003 ("box" . "Math fraction") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1004 ("br" . "Line break") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1005 ("caption" . "Table caption") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1006 ("center" . "Centered text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1007 ("changed" . "Change bars") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1008 ("cite" . "Citation of a document") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1009 ("code" . "Formatted source code") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1010 ("dd" . "Definition of term") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1011 ("del" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1012 ("dfn" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1013 ("dir" . "Directory list (obsolete)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1014 ("dl" . "Definition list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1015 ("dt" . "Term to be definined") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1016 ("em" . "Emphasised") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1017 ("embed" . "Embedded data in foreign format") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1018 ("fig" . "Figure") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1019 ("figa" . "Figure anchor") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1020 ("figd" . "Figure description") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1021 ("figt" . "Figure text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1022 ("fn" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1023 ("font" . "Font size") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1024 ("form" . "Form with input fields") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1025 ("group" . "Document grouping") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1026 ("h1" . "Most important section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1027 ("h2" . "Important section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1028 ("h3" . "Section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1029 ("h4" . "Minor section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1030 ("h5" . "Unimportant section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1031 ("h6" . "Least important section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1032 ("head" . "Document header") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1033 ("hr" . "Horizontal rule") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1034 ("html" . "HTML Document") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1035 ("i" . "Italic face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1036 ("img" . "Graphic image") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1037 ("input" . "Form input field") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1038 ("ins" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1039 ("isindex" . "Input field for index search") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1040 ("kbd" . "Keybard example face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1041 ("lang" . "Natural language") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1042 ("li" . "List item") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1043 ("link" . "Link relationship") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1044 ("math" . "Math formula") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1045 ("menu" . "Menu list (obsolete)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1046 ("mh" . "Form mail header") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1047 ("nextid" . "Allocate new id") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1048 ("nobr" . "Text without line break") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1049 ("ol" . "Ordered list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1050 ("option" . "Selection list item") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1051 ("over" . "Math fraction rule") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1052 ("p" . "Paragraph start") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1053 ("panel" . "Floating panel") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1054 ("person" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1055 ("pre" . "Preformatted fixed width text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1056 ("q" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1057 ("rev" . "Reverse video") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1058 ("s" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1059 ("samp" . "Sample text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1060 ("select" . "Selection list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1061 ("small" . "Font size") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1062 ("sp" . "Nobreak space") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1063 ("strong" . "Standout text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1064 ("sub" . "Subscript") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1065 ("sup" . "Superscript") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1066 ("table" . "Table with rows and columns") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1067 ("tb" . "Table vertical break") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1068 ("td" . "Table data cell") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1069 ("textarea" . "Form multiline edit area") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1070 ("th" . "Table header cell") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1071 ("title" . "Document title") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1072 ("tr" . "Table row separator") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1073 ("tt" . "Typewriter face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1074 ("u" . "Underlined text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1075 ("ul" . "Unordered list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1076 ("var" . "Math variable face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1077 ("wbr" . "Enable <br> within <nobr>")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1078 "*Value of `sgml-tag-help' for HTML mode.") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1079 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1080 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1081 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1082 ;;;###autoload |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1083 (defun html-mode () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1084 "Major mode based on SGML mode for editing HTML documents. |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1085 This allows inserting skeleton costructs used in hypertext documents with |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1086 completion. See below for an introduction to HTML. Use |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1087 \\[browse-url-of-buffer] to see how this comes out. See also `sgml-mode' on |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1088 which this is based. |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1089 |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1090 Do \\[describe-variable] html- SPC and \\[describe-variable] sgml- SPC to see available variables. |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1091 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1092 To write fairly well formatted pages you only need to know few things. Most |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1093 browsers have a function to read the source code of the page being seen, so |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1094 you can imitate various tricks. Here's a very short HTML primer which you |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1095 can also view with a browser to see what happens: |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1096 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1097 <title>A Title Describing Contents</title> should be on every page. Pages can |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1098 have <h1>Very Major Headlines</h1> through <h6>Very Minor Headlines</h6> |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1099 <hr> Parts can be separated with horizontal rules. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1100 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1101 <p>Paragraphs only need an opening tag. Line breaks and multiple spaces are |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1102 ignored unless the text is <pre>preformatted.</pre> Text can be marked as |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1103 <b>bold</b>, <i>italic</i> or <u>underlined</u> using the normal M-g or |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1104 Edit/Text Properties/Face commands. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1105 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1106 Pages can have <a name=\"SOMENAME\">named points</a> and can link other points |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1107 to them with <a href=\"#SOMENAME\">see also somename</a>. In the same way <a |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1108 href=\"URL\">see also URL</a> where URL is a filename relative to current |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1109 directory or something like http://www.cs.indiana.edu/elisp/w3/docs.html. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1110 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1111 Images in many formats can be inlined with <img src=\"URL\">. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1112 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1113 If you mainly create your own documents, `sgml-specials' might be interesting. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1114 But note that some HTML 2 browsers can't handle '. To work around that |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1115 do: |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1116 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1117 \(eval-after-load \"sgml-mode\" '(aset sgml-char-names ?' nil)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1118 \\{html-mode-map}" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1119 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1120 (sgml-mode-common html-tag-face-alist html-display-text) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1121 (use-local-map html-mode-map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1122 (make-local-variable 'sgml-tag-alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1123 (make-local-variable 'sgml-face-tag-alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1124 (make-local-variable 'sgml-tag-help) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1125 (make-local-variable 'outline-regexp) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1126 (make-local-variable 'outline-heading-end-regexp) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1127 (make-local-variable 'outline-level) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1128 (setq mode-name "HTML" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1129 major-mode 'html-mode |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1130 sgml-tag-alist html-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1131 sgml-face-tag-alist html-face-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1132 sgml-tag-help html-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1133 outline-regexp "^.*<[Hh][1-6]\\>" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1134 outline-heading-end-regexp "</[Hh][1-6]>" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1135 outline-level (lambda () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1136 (char-after (1- (match-end 0))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1137 (run-hooks 'html-mode-hook)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1138 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1139 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1140 (define-skeleton html-href-anchor |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1141 "HTML anchor tag with href attribute." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1142 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1143 "<a href=\"http:" _ "\"></a>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1144 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1145 (define-skeleton html-name-anchor |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1146 "HTML anchor tag with name attribute." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1147 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1148 "<a name=\"" _ "\"></a>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1149 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1150 (define-skeleton html-headline |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1151 "HTML headline tags." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1152 last-command-char |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1153 "<h" str ?> _ "</h" str ?>) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1154 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1155 (define-skeleton html-horizontal-rule |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1156 "HTML horizontal rule tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1157 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1158 "<hr>" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1159 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1160 (define-skeleton html-image |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1161 "HTML image tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1162 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1163 "<img src=\"http:" _ "\">") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1164 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1165 (define-skeleton html-line |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1166 "HTML line break tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1167 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1168 "<br>" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1169 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1170 (define-skeleton html-list |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1171 "HTML unordered/ordered list tags." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1172 last-command-char |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1173 ?< str "l>" \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1174 "<li>" _ \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1175 "</" str "l>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1176 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1177 (define-skeleton html-list-item |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1178 "HTML list item tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1179 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1180 (if (bolp) nil '\n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1181 "<li>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1182 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1183 (define-skeleton html-paragraph |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1184 "HTML paragraph tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1185 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1186 (if (bolp) nil ?\n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1187 \n "<p>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1188 |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1189 (define-skeleton html-checkboxes |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1190 "Group of connected checkbox inputs." |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1191 nil |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1192 '(setq v1 (eval str)) ; allow passing name as argument |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1193 ("Value & Text: " |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1194 "<input type=\"checkbox\" name=\"" |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1195 (or v1 (setq v1 (skeleton-read "Name: "))) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1196 "\" value=\"" str ?\" |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1197 (if v2 "" " checked") ?> str |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1198 (or v2 (setq v2 (if (y-or-n-p "Newline? ") "<br>" ""))) \n)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1199 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1200 (define-skeleton html-radio-buttons |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1201 "Group of connected radio button inputs." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1202 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1203 '(setq v1 (eval str)) ; allow passing name as argument |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1204 ("Value & Text: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1205 "<input type=\"radio\" name=\"" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1206 (or v1 (setq v1 (skeleton-read "Name: "))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1207 "\" value=\"" str ?\" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1208 (if v2 "" " checked") ?> str |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1209 (or v2 (setq v2 (if (y-or-n-p "Newline? ") "<br>" ""))) \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1210 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1211 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1212 (defun html-autoview-mode (&optional arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1213 "Toggle automatic viewing via `html-viewer' upon saving buffer. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1214 With positive prefix ARG always turns viewing on, with negative ARG always off. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1215 Can be used as a value for `html-mode-hook'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1216 (interactive "P") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1217 (if (setq arg (if arg |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1218 (< (prefix-numeric-value arg) 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1219 (and (boundp 'after-save-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1220 (memq 'browse-url-of-buffer after-save-hook)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1221 (setq after-save-hook (delq 'browse-url-of-buffer after-save-hook)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1222 (make-local-hook 'after-save-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1223 (add-hook 'after-save-hook 'browse-url-of-buffer nil t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1224 (message "Autoviewing turned %s." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1225 (if arg "off" "on"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1226 |
809 | 1227 ;;; sgml-mode.el ends here |