Mercurial > emacs
annotate lisp/textmodes/sgml-mode.el @ 16637:960c425726cb libc-961208 libc-961209 libc-961210
(PENTIUM:CPunix:4.0*:*): New case.
author | Richard Kenner <kenner@gnu.org> |
---|---|
date | Sat, 07 Dec 1996 22:47:59 +0000 |
parents | 0cdf66e69ad8 |
children | 4b79df16b939 |
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. |
16404
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
37 (defvar sgml-specials '(?\") |
14159
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 |
16404
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
48 self insert as named entities depending on `sgml-quick-keys'. |
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
49 |
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
50 Including ?- has the problem of affecting dashes that have nothing to do |
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
51 with comments, so we normally turn it off.") |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
52 |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
53 (defvar sgml-quick-keys nil |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
54 "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
|
55 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
|
56 |
809 | 57 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
58 (defvar sgml-mode-map |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
59 (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
|
60 (menu-map (make-sparse-keymap "SGML"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
61 (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
|
62 (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
|
63 (define-key map "/" 'sgml-slash) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
64 (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
|
65 (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
|
66 (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
|
67 (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
|
68 (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
|
69 (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
|
70 (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
|
71 (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
|
72 (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
|
73 (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
|
74 (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
|
75 (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
|
76 (if sgml-quick-keys |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
77 (progn |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
78 (define-key map "&" 'sgml-name-char) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
79 (define-key map "<" 'sgml-tag) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
80 (define-key map " " 'sgml-auto-attributes) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
81 (define-key map ">" 'sgml-maybe-end-tag) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
82 (if (memq ?\" sgml-specials) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
83 (define-key map "\"" 'sgml-name-self)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
84 (if (memq ?' sgml-specials) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
85 (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
|
86 (let ((c 127) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
87 (map (nth 1 map))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
88 (while (< (setq c (1+ c)) 256) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
89 (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
|
90 (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
|
91 (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
|
92 (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
|
93 '("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
|
94 (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
|
95 '("Toggle Tag Visibility" . sgml-tags-invisible)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
96 (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
|
97 '("Describe Tag" . sgml-tag-help)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
98 (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
|
99 '("Delete Tag" . sgml-delete-tag)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
100 (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
|
101 '("Forward Tag" . sgml-skip-tag-forward)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
102 (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
|
103 '("Backward Tag" . sgml-skip-tag-backward)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
104 (define-key menu-map [sgml-attributes] |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
105 '("Insert Attributes" . sgml-attributes)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
106 (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
|
107 map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
108 "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
|
109 |
809 | 110 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
111 (defvar sgml-mode-syntax-table |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
112 (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
|
113 (modify-syntax-entry ?< "(>" table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
114 (modify-syntax-entry ?> ")<" table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
115 (if (memq ?- sgml-specials) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
116 (modify-syntax-entry ?- "_ 1234" table)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
117 (if (memq ?\" sgml-specials) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
118 (modify-syntax-entry ?\" "\"\"" table)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
119 (if (memq ?' sgml-specials) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
120 (modify-syntax-entry ?\' "\"'" table)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
121 table) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
122 "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
|
123 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
124 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
125 (defvar sgml-name-8bit-mode nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
126 "*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
|
127 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
128 (defvar sgml-char-names |
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 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
|
133 "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
|
134 "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
|
135 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
|
136 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
|
137 "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
|
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 nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
140 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
|
141 "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
|
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 nil nil nil nil nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
144 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
|
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 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
|
149 "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
|
150 "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
|
151 "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
|
152 "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
|
153 "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
|
154 "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
|
155 "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
|
156 "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
|
157 "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
|
158 "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
|
159 "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
|
160 "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
|
161 "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
|
162 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
163 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
164 ;; 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
|
165 ;; 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
|
166 ;; 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
|
167 ;; The -s option suppresses output. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
168 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
169 (defvar sgml-validate-command "sgmls -s" |
809 | 170 "*The command to validate an SGML document. |
171 The file name of current buffer file name will be appended to this, | |
172 separated by a space.") | |
173 | |
174 (defvar sgml-saved-validate-command nil | |
175 "The command last used to validate in this buffer.") | |
176 | |
177 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
178 ;;; 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
|
179 ;;; so use a small distance here. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
180 (defconst sgml-slash-distance 1000 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
181 "*If non-nil, is the maximum distance to search for matching /.") |
809 | 182 |
183 (defconst sgml-start-tag-regex | |
184 "<[A-Za-z]\\([-.A-Za-z0-9= \n\t]\\|\"[^\"]*\"\\|'[^']*'\\)*" | |
185 "Regular expression that matches a non-empty start tag. | |
186 Any terminating > or / is not matched.") | |
187 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
188 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
189 (defvar sgml-font-lock-keywords |
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-keyword-face) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
191 ("<\\(/?[a-z0-9]+\\)" 1 font-lock-function-name-face) |
16404
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
192 ("[&%][-.A-Za-z0-9]+;?" . font-lock-variable-name-face) |
0cdf66e69ad8
(sgml-specials): Delete `-' from the list.
Richard M. Stallman <rms@gnu.org>
parents:
15867
diff
changeset
|
193 ("<!--[^<>]*-->" . font-lock-comment-face)) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
194 "*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
|
195 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
196 ;; internal |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
197 (defvar sgml-font-lock-keywords-1 ()) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
198 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
199 (defvar sgml-face-tag-alist () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
200 "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
|
201 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
202 (defvar sgml-tag-face-alist () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
203 "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
|
204 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
|
205 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
|
206 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
207 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
208 (defvar sgml-display-text () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
209 "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
|
210 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
211 ;; internal |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
212 (defvar sgml-tags-invisible nil) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
213 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
214 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
215 (defvar sgml-tag-alist |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
216 '(("![" ("ignore" t) ("include" t)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
217 ("!attlist") |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
218 ("!doctype") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
219 ("!element") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
220 ("!entity")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
221 "*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
|
222 This alist is made up as |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
223 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
224 ((\"tag\" . TAGRULE) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
225 ...) |
809 | 226 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
227 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
|
228 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
|
229 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
|
230 attribute alist. |
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 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
|
233 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
234 ((\"attribute\" . ATTRIBUTERULE) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
235 ...) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
236 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
237 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
|
238 an optional alist of possible values.") |
809 | 239 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
240 (defvar sgml-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
241 '(("!" . "Empty declaration for comment") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
242 ("![" . "Embed declarations with parser directive") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
243 ("!attlist" . "Tag attributes declaration") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
244 ("!doctype" . "Document type (DTD) declaration") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
245 ("!element" . "Tag declaration") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
246 ("!entity" . "Entity (macro) declaration")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
247 "*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
|
248 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
249 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
250 ;; 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
|
251 (or (get 'sgml-tag 'invisible) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
252 (setplist 'sgml-tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
253 (append '(invisible t |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
254 rear-nonsticky t |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
255 point-entered sgml-point-entered |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
256 read-only t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
257 (symbol-plist 'sgml-tag)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
258 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
259 |
809 | 260 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
261 (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
|
262 "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
|
263 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
|
264 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
|
265 varables of same name)." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
266 (kill-all-local-variables) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
267 (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
|
268 (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
|
269 (make-local-variable 'indent-line-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
270 (make-local-variable 'paragraph-start) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
271 (make-local-variable 'paragraph-separate) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
272 (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
|
273 (make-local-variable 'comment-start) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
274 (make-local-variable 'comment-end) |
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 'comment-start-skip) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
277 (make-local-variable 'comment-indent-function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
278 (make-local-variable 'sgml-tags-invisible) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
279 (make-local-variable 'skeleton-transformation) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
280 (make-local-variable 'skeleton-further-elements) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
281 (make-local-variable 'skeleton-end-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
282 (make-local-variable 'font-lock-defaults) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
283 (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
|
284 (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
|
285 (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
|
286 ;;(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
|
287 (and sgml-tag-face-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
288 (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
|
289 (nconc sgml-tag-face-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
290 `((1 (,(concat "<\\(" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
291 (mapconcat 'car sgml-tag-face-alist "\\|") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
292 "\\)\\([ \t].+\\)?>\\(.+\\)</\\1>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
293 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
|
294 (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
|
295 ;; 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
|
296 ;; 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
|
297 ;; 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
|
298 paragraph-start "^[ \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 paragraph-separate "^[ \t\n]*$\\|\ |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
301 ^</?\\([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
|
302 comment-start "<!-- " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
303 comment-end " -->" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
304 comment-indent-function 'sgml-comment-indent |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
305 ;; 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
|
306 ;; recognized. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
307 comment-start-skip "--[ \t]*" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
308 skeleton-transformation 'identity |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
309 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
|
310 skeleton-end-hook (lambda () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
311 (or (eolp) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
312 (not (or (eq v2 '\n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
313 (eq (car-safe v2) '\n))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
314 (newline-and-indent))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
315 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
|
316 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
|
317 sgml-font-lock-keywords-1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
318 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
319 t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
320 facemenu-add-face-function |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
321 (lambda (face end) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
322 (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
|
323 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
324 (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
|
325 (concat "<" face ">")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
326 (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
|
327 (while sgml-display-text |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
328 (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
|
329 (cdr (car sgml-display-text))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
330 (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
|
331 (run-hooks 'text-mode-hook 'sgml-mode-hook)) |
809 | 332 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
333 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
334 ;;;###autoload |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
335 (defun sgml-mode (&optional function) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
336 "Major mode for editing SGML documents. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
337 Makes > match <. Makes / blink matching /. |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
338 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
|
339 `sgml-quick-keys'. |
14159
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 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
|
342 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
343 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
|
344 \\{sgml-mode-map}" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
345 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
346 (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
|
347 (use-local-map sgml-mode-map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
348 (setq mode-name "SGML" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
349 major-mode 'sgml-mode)) |
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 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
352 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
353 (defun sgml-comment-indent () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
354 (if (and (looking-at "--") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
355 (not (and (eq (preceding-char) ?!) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
356 (eq (char-after (- (point) 2)) ?<)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
357 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
358 (skip-chars-backward " \t") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
359 (max comment-column (1+ (current-column)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
360 0)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
361 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
362 |
809 | 363 |
364 (defun sgml-slash (arg) | |
365 "Insert / and display any previous matching /. | |
366 Two /s are treated as matching if the first / ends a net-enabling | |
367 start tag, and the second / is the corresponding null end tag." | |
368 (interactive "p") | |
369 (insert-char ?/ arg) | |
370 (if (> arg 0) | |
371 (let ((oldpos (point)) | |
372 (blinkpos) | |
373 (level 0)) | |
374 (save-excursion | |
375 (save-restriction | |
376 (if sgml-slash-distance | |
377 (narrow-to-region (max (point-min) | |
378 (- (point) sgml-slash-distance)) | |
379 oldpos)) | |
380 (if (and (re-search-backward sgml-start-tag-regex (point-min) t) | |
381 (eq (match-end 0) (1- oldpos))) | |
382 () | |
383 (goto-char (1- oldpos)) | |
384 (while (and (not blinkpos) | |
385 (search-backward "/" (point-min) t)) | |
386 (let ((tagend (save-excursion | |
387 (if (re-search-backward sgml-start-tag-regex | |
388 (point-min) t) | |
389 (match-end 0) | |
390 nil)))) | |
391 (if (eq tagend (point)) | |
392 (if (eq level 0) | |
393 (setq blinkpos (point)) | |
394 (setq level (1- level))) | |
395 (setq level (1+ level))))))) | |
396 (if blinkpos | |
397 (progn | |
398 (goto-char blinkpos) | |
399 (if (pos-visible-in-window-p) | |
400 (sit-for 1) | |
401 (message "Matches %s" | |
402 (buffer-substring (progn | |
403 (beginning-of-line) | |
404 (point)) | |
405 (1+ blinkpos)))))))))) | |
406 | |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
407 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
408 (defun sgml-name-char (&optional char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
409 "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
|
410 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
|
411 or M-- for a soft hyphen." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
412 (interactive "*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
413 (insert ?&) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
414 (or char |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
415 (setq char (read-quoted-char))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
416 (delete-backward-char 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
417 (insert char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
418 (undo-boundary) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
419 (delete-backward-char 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
420 (insert ?& |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
421 (or (aref sgml-char-names char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
422 (format "#%d" char)) |
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 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
425 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
426 (defun sgml-name-self () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
427 "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
|
428 (interactive "*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
429 (sgml-name-char last-command-char)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
430 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
431 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
432 (defun sgml-maybe-name-self () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
433 "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
|
434 (interactive "*") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
435 (if sgml-name-8bit-mode |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
436 (sgml-name-char last-command-char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
437 (self-insert-command 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
438 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
439 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
440 (defun sgml-name-8bit-mode () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
441 "Toggle insertion of 8 bit characters." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
442 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
443 (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
|
444 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
445 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
446 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
447 (define-skeleton sgml-tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
448 "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
|
449 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
|
450 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
|
451 to `upcase'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
452 (funcall skeleton-transformation |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
453 (completing-read "Tag: " sgml-tag-alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
454 ?< (setq v1 (eval str)) | |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
455 (("") -1 '(undo-boundary) "<") | |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
456 (("") '(setq v2 (sgml-attributes v1 t)) ?> |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
457 (if (string= "![" v1) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
458 (prog1 '(("") " [ " _ " ]]") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
459 (backward-char)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
460 (if (or (eq v2 t) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
461 (string-match "^[/!?]" v1)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
462 () |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
463 (if (symbolp v2) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
464 '(("") v2 _ v2 "</" v1 ?>) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
465 (if (eq (car v2) t) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
466 (cons '("") (cdr v2)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
467 (append '(("") (car v2)) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
468 (cdr v2) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
469 '(resume: (car v2) _ "</" v1 ?>)))))))) |
14159
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 (autoload 'skeleton-read "skeleton") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
472 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
473 (defun sgml-attributes (alist &optional quiet) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
474 "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
|
475 (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
|
476 (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
|
477 (if alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
478 (let ((completion-ignore-case t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
479 car attribute i) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
480 (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
|
481 (if (or (symbolp (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
482 (symbolp (car (car alist)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
483 (setq car (car alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
484 alist (cdr alist))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
485 (or quiet |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
486 (message "No attributes configured.")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
487 (if (stringp (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
488 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
489 (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
|
490 (sgml-value alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
491 (setq i (length alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
492 (while (> i 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
493 (insert ? ) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
494 (insert (funcall skeleton-transformation |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
495 (setq attribute |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
496 (skeleton-read '(completing-read |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
497 "[Attribute]: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
498 alist))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
499 (if (string= "" attribute) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
500 (setq i 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
501 (sgml-value (assoc attribute alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
502 (setq i (1- i)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
503 (if (eq (preceding-char) ? ) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
504 (delete-backward-char 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
505 car))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
506 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
507 (defun sgml-auto-attributes (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
508 "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
|
509 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
|
510 (interactive "*P") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
511 (let ((point (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
512 tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
513 (if (or arg |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
514 (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
|
515 (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
|
516 (eq (aref tag 0) ?/)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
517 (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
|
518 (sgml-attributes tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
519 (setq last-command-char ? ) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
520 (or (> (point) point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
521 (self-insert-command 1))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
522 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
523 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
524 (defun sgml-tag-help (&optional tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
525 "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
|
526 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
527 (or tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
528 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
529 (if (eq (following-char) ?<) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
530 (forward-char)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
531 (setq tag (sgml-beginning-of-tag)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
532 (or (stringp tag) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
533 (error "No tag selected")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
534 (setq tag (downcase tag)) |
14328
5d0e329a44d8
(sgml-tag-help): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14270
diff
changeset
|
535 (message "%s" |
5d0e329a44d8
(sgml-tag-help): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14270
diff
changeset
|
536 (or (cdr (assoc tag sgml-tag-help)) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
537 (and (eq (aref tag 0) ?/) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
538 (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
|
539 "No description available"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
540 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
541 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
542 (defun sgml-maybe-end-tag () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
543 "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
|
544 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
545 (or (condition-case nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
546 (save-excursion (up-list -1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
547 (error |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
548 (sgml-name-self) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
549 t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
550 (condition-case nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
551 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
552 (save-excursion (up-list 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
553 (sgml-name-self)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
554 (error (self-insert-command 1))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
555 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
556 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
557 (defun sgml-skip-tag-backward (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
558 "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
|
559 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
|
560 (interactive "p") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
561 (while (>= arg 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
562 (search-backward "<" nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
563 (if (looking-at "</\\([^ \n\t>]+\\)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
564 ;; end tag, skip any nested pairs |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
565 (let ((case-fold-search t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
566 (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
|
567 (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
|
568 (eq (char-after (1+ (point))) ?/)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
569 (forward-char 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
570 (sgml-skip-tag-backward 1)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
571 (setq arg (1- arg)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
572 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
573 (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
|
574 "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
|
575 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
|
576 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
|
577 (interactive "p") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
578 (setq return t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
579 (while (>= arg 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
580 (skip-chars-forward "^<>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
581 (if (eq (following-char) ?>) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
582 (up-list -1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
583 (if (looking-at "<\\([^/ \n\t>]+\\)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
584 ;; 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
|
585 (let ((case-fold-search t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
586 (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
|
587 point close) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
588 (forward-list 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
589 (setq point (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
590 (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
|
591 (not (setq close |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
592 (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
|
593 (not (up-list -1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
594 (sgml-skip-tag-forward 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
595 (setq close nil)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
596 (if close |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
597 (up-list 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
598 (goto-char point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
599 (setq return))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
600 (forward-list 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
601 (setq arg (1- arg))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
602 return) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
603 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
604 (defun sgml-delete-tag (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
605 "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
|
606 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
|
607 (interactive "p") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
608 (while (>= arg 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
609 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
610 (let* (close open) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
611 (if (looking-at "[ \t\n]*<") |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
612 ;; just before tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
613 (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
|
614 ;; closing tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
615 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
616 (setq close (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
617 (goto-char (match-end 0)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
618 ;; on tag? |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
619 (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
|
620 close (and (stringp close) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
621 (eq (aref close 0) ?/) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
622 (point)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
623 ;; not on closing tag |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
624 (let ((point (point))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
625 (sgml-skip-tag-backward 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
626 (if (or (not (eq (following-char) ?<)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
627 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
628 (forward-list 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
629 (<= (point) point))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
630 (error "Not on or before tag"))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
631 (if close |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
632 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
633 (sgml-skip-tag-backward 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 (goto-char close) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
636 (kill-sexp 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
637 (setq open (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
638 (sgml-skip-tag-forward 1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
639 (backward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
640 (forward-char) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
641 (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
|
642 (kill-sexp 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
643 (goto-char open) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
644 (kill-sexp 1))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
645 (setq arg (1- arg)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
646 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
647 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
648 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
649 (defun sgml-tags-invisible (arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
650 "Toggle visibility of existing tags." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
651 (interactive "P") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
652 (let ((modified (buffer-modified-p)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
653 (inhibit-read-only t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
654 (point (point-min)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
655 symbol) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
656 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
657 (goto-char point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
658 (if (setq sgml-tags-invisible |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
659 (if arg |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
660 (>= (prefix-numeric-value arg) 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
661 (not sgml-tags-invisible))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
662 (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
|
663 nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
664 (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
|
665 (goto-char (match-beginning 0)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
666 (and (get symbol 'before-string) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
667 (not (overlays-at (point))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
668 (overlay-put (make-overlay (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
669 (match-beginning 1)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
670 'category symbol)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
671 (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
|
672 'intangible (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
673 (put-text-property point (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
674 'category 'sgml-tag)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
675 (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
|
676 (delete-overlay (car (overlays-at point)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
677 (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
|
678 '(category sgml-tag intangible t)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
679 (set-buffer-modified-p modified) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
680 (run-hooks 'sgml-tags-invisible-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
681 (message ""))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
682 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
683 (defun sgml-point-entered (x y) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
684 ;; 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
|
685 (let ((inhibit-point-motion-hooks t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
686 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
687 (message "Invisible tag: %s" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
688 (buffer-substring |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
689 (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
690 (if (or (and (> x y) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
691 (not (eq (following-char) ?<))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
692 (and (< x y) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
693 (eq (preceding-char) ?>))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
694 (backward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
695 (forward-list))))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
696 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
697 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
698 (autoload 'compile-internal "compile") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
699 |
809 | 700 (defun sgml-validate (command) |
701 "Validate an SGML document. | |
702 Runs COMMAND, a shell command, in a separate process asynchronously | |
703 with output going to the buffer *compilation*. | |
704 You can then use the command \\[next-error] to find the next error message | |
705 and move to the line in the SGML document that caused it." | |
706 (interactive | |
707 (list (read-string "Validate command: " | |
708 (or sgml-saved-validate-command | |
709 (concat sgml-validate-command | |
710 " " | |
711 (let ((name (buffer-file-name))) | |
712 (and name | |
713 (file-name-nondirectory name)))))))) | |
714 (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
|
715 (compile-internal command "No more errors")) |
809 | 716 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
717 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
718 (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
|
719 "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
|
720 Else `t'." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
721 (or (if top-level |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
722 (condition-case nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
723 (up-list -1) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
724 (error t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
725 (>= (point) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
726 (if (search-backward "<" nil t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
727 (save-excursion |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
728 (forward-list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
729 (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
730 0))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
731 (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
|
732 (buffer-substring-no-properties |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
733 (1+ (point)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
734 (match-end 0)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
735 t))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
736 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
737 (defun sgml-value (alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
738 (setq alist (cdr alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
739 (if (stringp (car alist)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
740 (insert "=\"" (car alist) ?\") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
741 (if (eq (car alist) t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
742 (if (cdr alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
743 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
744 (insert "=\"") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
745 (setq alist (skeleton-read '(completing-read |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
746 "[Value]: " (cdr alist)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
747 (if (string< "" alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
748 (insert (funcall skeleton-transformation alist) ?\") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
749 (delete-backward-char 2)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
750 (insert "=\"") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
751 (if alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
752 (insert (funcall skeleton-transformation |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
753 (skeleton-read '(completing-read "Value: " alist))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
754 (insert ?\")))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
755 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
756 (provide 'sgml-mode) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
757 |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
758 (defvar html-quick-keys sgml-quick-keys |
14377 | 759 "Use C-c X combinations for quick insertion of frequent tags when non-nil. |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
760 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
|
761 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
|
762 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
763 (defvar html-mode-map |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
764 (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
|
765 (menu-map (make-sparse-keymap "HTML"))) |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
766 (define-key map "\C-c6" 'html-headline-6) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
767 (define-key map "\C-c5" 'html-headline-5) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
768 (define-key map "\C-c4" 'html-headline-4) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
769 (define-key map "\C-c3" 'html-headline-3) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
770 (define-key map "\C-c2" 'html-headline-2) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
771 (define-key map "\C-c1" 'html-headline-1) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
772 (define-key map "\C-c\r" 'html-paragraph) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
773 (define-key map "\C-c\n" 'html-line) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
774 (define-key map "\C-c\C-c-" 'html-horizontal-rule) |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
775 (define-key map "\C-c\C-co" 'html-ordered-list) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
776 (define-key map "\C-c\C-cu" 'html-unordered-list) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
777 (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
|
778 (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
|
779 (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
|
780 (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
|
781 (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
|
782 (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
|
783 (if html-quick-keys |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
784 (progn |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
785 (define-key map "\C-c-" 'html-horizontal-rule) |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
786 (define-key map "\C-co" 'html-ordered-list) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
787 (define-key map "\C-cu" 'html-unordered-list) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
788 (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
|
789 (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
|
790 (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
|
791 (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
|
792 (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
|
793 (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
|
794 (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
|
795 (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
|
796 (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
|
797 (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
|
798 '("Toggle Autoviewing" . html-autoview-mode)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
799 (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
|
800 '("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
|
801 (define-key menu-map [nil] '("--")) |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
802 ;;(define-key menu-map "6" '("Heading 6" . html-headline-6)) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
803 ;;(define-key menu-map "5" '("Heading 5" . html-headline-5)) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
804 ;;(define-key menu-map "4" '("Heading 4" . html-headline-4)) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
805 (define-key menu-map "3" '("Heading 3" . html-headline-3)) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
806 (define-key menu-map "2" '("Heading 2" . html-headline-2)) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
807 (define-key menu-map "1" '("Heading 1" . html-headline-1)) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
808 (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
|
809 (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
|
810 (define-key menu-map "l" '("List Item" . html-list-item)) |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
811 (define-key menu-map "u" '("Unordered List" . html-unordered-list)) |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
812 (define-key menu-map "o" '("Ordered List" . html-ordered-list)) |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
813 (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
|
814 (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
|
815 (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
|
816 (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
|
817 (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
|
818 (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
|
819 map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
820 "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
|
821 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
822 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
823 (defvar html-face-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
824 '((bold . "b") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
825 (italic . "i") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
826 (underline . "u") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
827 (modeline . "rev")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
828 "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
|
829 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
830 (defvar html-tag-face-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
831 '(("b" . bold) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
832 ("big" . bold) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
833 ("blink" . highlight) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
834 ("cite" . italic) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
835 ("em" . italic) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
836 ("h1" bold underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
837 ("h2" bold-italic underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
838 ("h3" italic underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
839 ("h4" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
840 ("h5" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
841 ("h6" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
842 ("i" . italic) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
843 ("rev" . modeline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
844 ("s" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
845 ("small" . default) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
846 ("strong" . bold) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
847 ("title" bold underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
848 ("tt" . default) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
849 ("u" . underline) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
850 ("var" . italic)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
851 "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
|
852 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
853 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
854 (defvar html-display-text |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
855 '((img . "[/]") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
856 (hr . "----------") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
857 (li . "o ")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
858 "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
|
859 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
860 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
861 ; 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
|
862 (defvar html-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
863 (let* ((1-9 '(("8") ("9") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
864 ("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
|
865 (align '(("align" ("left") ("center") ("right")))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
866 (valign '(("top") ("middle") ("bottom") ("baseline"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
867 (rel '(("next") ("previous") ("parent") ("subdocument") ("made"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
868 (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
|
869 ("mailto:") ("news:") ("rlogin:") ("telnet:") ("tn3270:") |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
870 ("wais:") ("/cgi-bin/"))) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
871 (name '("name")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
872 (link `(,href |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
873 ("rel" ,@rel) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
874 ("rev" ,@rel) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
875 ("title"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
876 (list '((nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
877 ( "List item: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
878 "<li>" str \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
879 ("type" ("A") ("a") ("I") ("i") ("1")))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
880 (cell `(t |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
881 ,align |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
882 ("valign" ,@valign) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
883 ("colspan" ,@1-9) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
884 ("rowspan" ,@1-9) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
885 ("nowrap" t)))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
886 ;; 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
|
887 ;; 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
|
888 `(("a" ,name ,@link) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
889 ("base" t ,@href) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
890 ("dir" ,@list) |
15867
0347f6e5791f
(html-tag-alist): Fix the entry for "font".
Richard M. Stallman <rms@gnu.org>
parents:
15437
diff
changeset
|
891 ("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
|
892 ("form" (\n _ \n "<input type=\"submit\" value=\"\">") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
893 ("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
|
894 ("h1" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
895 ("h2" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
896 ("h3" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
897 ("h4" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
898 ("h5" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
899 ("h6" ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
900 ("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
|
901 ("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
|
902 ("src") ("alt") ("width" "1") ("height" "1") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
903 ("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
|
904 ("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
|
905 ("type" ("text") ("password") ("checkbox") ("radio") |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
906 ("submit") ("reset")) |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
907 ("value")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
908 ("link" t ,@link) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
909 ("menu" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
910 ("ol" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
911 ("p" t ,@align) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
912 ("select" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
913 ("Text: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
914 "<option>" str \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
915 ,name ("size" ,@1-9) ("multiple" t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
916 ("table" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
917 ((completing-read "Cell kind: " '(("td") ("th")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
918 nil t "t") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
919 "<tr><" str ?> _ \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
920 ("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
|
921 ("td" ,@cell) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
922 ("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
|
923 ("th" ,@cell) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
924 ("ul" ,@list) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
925 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
926 ,@sgml-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
927 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
928 ("abbrev") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
929 ("acronym") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
930 ("address") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
931 ("array" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
932 ("Item: " "<item>" str \n)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
933 "align") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
934 ("au") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
935 ("b") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
936 ("big") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
937 ("blink") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
938 ("blockquote" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
939 ("body" \n ("background" ".gif") ("bgcolor" "#") ("text" "#") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
940 ("link" "#") ("alink" "#") ("vlink" "#")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
941 ("box" (nil _ "<over>" _)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
942 ("br" t ("clear" ("left") ("right"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
943 ("caption" ("valign" ("top") ("bottom"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
944 ("center" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
945 ("cite") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
946 ("code" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
947 ("dd" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
948 ("del") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
949 ("dfn") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
950 ("dl" (nil \n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
951 ( "Term: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
952 "<dt>" str "<dd>" _ \n))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
953 ("dt" (t _ "<dd>")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
954 ("em") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
955 ("fn" "id" "fn") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
956 ("head" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
957 ("html" (\n |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
958 "<head>\n" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
959 "<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
|
960 "<body>\n<h1>" str "</h1>\n" _ |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
961 "\n<address>\n<a href=\"mailto:" |
14518
5b2bc060c90d
(html-tag-alist): within the <ADDRESS> tag
Richard M. Stallman <rms@gnu.org>
parents:
14377
diff
changeset
|
962 user-mail-address |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
963 "\">" (user-full-name) "</a>\n</address>")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
964 ("i") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
965 ("ins") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
966 ("isindex" t ("action") ("prompt")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
967 ("kbd") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
968 ("lang") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
969 ("li" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
970 ("math" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
971 ("nobr") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
972 ("option" t ("value") ("label") ("selected" t)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
973 ("over" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
974 ("person") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
975 ("pre" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
976 ("q") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
977 ("rev") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
978 ("s") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
979 ("samp") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
980 ("small") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
981 ("strong") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
982 ("sub") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
983 ("sup") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
984 ("title") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
985 ("tr" t) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
986 ("tt") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
987 ("u") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
988 ("var") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
989 ("wbr" t))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
990 "*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
|
991 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
992 (defvar html-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
993 `(,@sgml-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
994 ("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
|
995 ("abbrev" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
996 ("acronym" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
997 ("address" . "Formatted mail address") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
998 ("array" . "Math array") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
999 ("au" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1000 ("b" . "Bold face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1001 ("base" . "Base address for URLs") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1002 ("big" . "Font size") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1003 ("blink" . "Blinking text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1004 ("blockquote" . "Indented quotation") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1005 ("body" . "Document body") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1006 ("box" . "Math fraction") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1007 ("br" . "Line break") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1008 ("caption" . "Table caption") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1009 ("center" . "Centered text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1010 ("changed" . "Change bars") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1011 ("cite" . "Citation of a document") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1012 ("code" . "Formatted source code") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1013 ("dd" . "Definition of term") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1014 ("del" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1015 ("dfn" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1016 ("dir" . "Directory list (obsolete)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1017 ("dl" . "Definition list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1018 ("dt" . "Term to be definined") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1019 ("em" . "Emphasised") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1020 ("embed" . "Embedded data in foreign format") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1021 ("fig" . "Figure") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1022 ("figa" . "Figure anchor") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1023 ("figd" . "Figure description") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1024 ("figt" . "Figure text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1025 ("fn" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1026 ("font" . "Font size") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1027 ("form" . "Form with input fields") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1028 ("group" . "Document grouping") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1029 ("h1" . "Most important section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1030 ("h2" . "Important section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1031 ("h3" . "Section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1032 ("h4" . "Minor section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1033 ("h5" . "Unimportant section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1034 ("h6" . "Least important section headline") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1035 ("head" . "Document header") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1036 ("hr" . "Horizontal rule") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1037 ("html" . "HTML Document") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1038 ("i" . "Italic face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1039 ("img" . "Graphic image") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1040 ("input" . "Form input field") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1041 ("ins" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1042 ("isindex" . "Input field for index search") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1043 ("kbd" . "Keybard example face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1044 ("lang" . "Natural language") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1045 ("li" . "List item") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1046 ("link" . "Link relationship") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1047 ("math" . "Math formula") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1048 ("menu" . "Menu list (obsolete)") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1049 ("mh" . "Form mail header") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1050 ("nextid" . "Allocate new id") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1051 ("nobr" . "Text without line break") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1052 ("ol" . "Ordered list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1053 ("option" . "Selection list item") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1054 ("over" . "Math fraction rule") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1055 ("p" . "Paragraph start") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1056 ("panel" . "Floating panel") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1057 ("person" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1058 ("pre" . "Preformatted fixed width text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1059 ("q" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1060 ("rev" . "Reverse video") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1061 ("s" . "?") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1062 ("samp" . "Sample text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1063 ("select" . "Selection list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1064 ("small" . "Font size") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1065 ("sp" . "Nobreak space") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1066 ("strong" . "Standout text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1067 ("sub" . "Subscript") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1068 ("sup" . "Superscript") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1069 ("table" . "Table with rows and columns") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1070 ("tb" . "Table vertical break") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1071 ("td" . "Table data cell") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1072 ("textarea" . "Form multiline edit area") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1073 ("th" . "Table header cell") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1074 ("title" . "Document title") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1075 ("tr" . "Table row separator") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1076 ("tt" . "Typewriter face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1077 ("u" . "Underlined text") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1078 ("ul" . "Unordered list") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1079 ("var" . "Math variable face") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1080 ("wbr" . "Enable <br> within <nobr>")) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1081 "*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
|
1082 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1083 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1084 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1085 ;;;###autoload |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1086 (defun html-mode () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1087 "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
|
1088 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
|
1089 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
|
1090 \\[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
|
1091 which this is based. |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1092 |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1093 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
|
1094 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1095 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
|
1096 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
|
1097 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
|
1098 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
|
1099 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1100 <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
|
1101 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
|
1102 <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
|
1103 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1104 <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
|
1105 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
|
1106 <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
|
1107 Edit/Text Properties/Face commands. |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1108 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1109 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
|
1110 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
|
1111 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
|
1112 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
|
1113 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1114 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
|
1115 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1116 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
|
1117 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
|
1118 do: |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1119 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1120 \(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
|
1121 \\{html-mode-map}" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1122 (interactive) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1123 (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
|
1124 (use-local-map html-mode-map) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1125 (make-local-variable 'sgml-tag-alist) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1126 (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
|
1127 (make-local-variable 'sgml-tag-help) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1128 (make-local-variable 'outline-regexp) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1129 (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
|
1130 (make-local-variable 'outline-level) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1131 (setq mode-name "HTML" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1132 major-mode 'html-mode |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1133 sgml-tag-alist html-tag-alist |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1134 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
|
1135 sgml-tag-help html-tag-help |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1136 outline-regexp "^.*<[Hh][1-6]\\>" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1137 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
|
1138 outline-level (lambda () |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1139 (char-after (1- (match-end 0))))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1140 (run-hooks 'html-mode-hook)) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1141 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1142 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1143 (define-skeleton html-href-anchor |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1144 "HTML anchor tag with href attribute." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1145 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1146 "<a href=\"http:" _ "\"></a>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1147 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1148 (define-skeleton html-name-anchor |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1149 "HTML anchor tag with name attribute." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1150 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1151 "<a name=\"" _ "\"></a>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1152 |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1153 (define-skeleton html-headline-1 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1154 "HTML level 1 headline tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1155 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1156 "<h1>" _ "</h1>") |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1157 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1158 (define-skeleton html-headline-2 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1159 "HTML level 2 headline tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1160 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1161 "<h2>" _ "</h2>") |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1162 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1163 (define-skeleton html-headline-3 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1164 "HTML level 3 headline tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1165 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1166 "<h3>" _ "</h3>") |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1167 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1168 (define-skeleton html-headline-4 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1169 "HTML level 4 headline tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1170 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1171 "<h4>" _ "</h4>") |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1172 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1173 (define-skeleton html-headline-5 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1174 "HTML level 5 headline tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1175 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1176 "<h5>" _ "</h5>") |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1177 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1178 (define-skeleton html-headline-6 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1179 "HTML level 6 headline tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1180 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1181 "<h6>" _ "</h6>") |
14159
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-horizontal-rule |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1184 "HTML horizontal rule 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 "<hr>" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1187 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1188 (define-skeleton html-image |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1189 "HTML image tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1190 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1191 "<img src=\"http:" _ "\">") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1192 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1193 (define-skeleton html-line |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1194 "HTML line break tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1195 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1196 "<br>" \n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1197 |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1198 (define-skeleton html-ordered-list |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1199 "HTML ordered list tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1200 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1201 ?< "ol>" \n |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1202 "<li>" _ \n |
15437
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1203 "</ol>") |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1204 |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1205 (define-skeleton html-unordered-list |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1206 "HTML unordered list tags." |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1207 nil |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1208 ?< "ul>" \n |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1209 "<li>" _ \n |
43b1f8a3af53
(html-list): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
14518
diff
changeset
|
1210 "</ul>") |
14159
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 (define-skeleton html-list-item |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1213 "HTML list item tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1214 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1215 (if (bolp) nil '\n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1216 "<li>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1217 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1218 (define-skeleton html-paragraph |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1219 "HTML paragraph tag." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1220 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1221 (if (bolp) nil ?\n) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1222 \n "<p>") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1223 |
14270
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1224 (define-skeleton html-checkboxes |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1225 "Group of connected checkbox inputs." |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1226 nil |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1227 '(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
|
1228 ("Value & Text: " |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1229 "<input type=\"checkbox\" name=\"" |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1230 (or v1 (setq v1 (skeleton-read "Name: "))) |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1231 "\" value=\"" str ?\" |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1232 (if v2 "" " checked") ?> str |
15c3d6255a1c
(sgml-quick-keys): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
1233 (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
|
1234 |
14159
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1235 (define-skeleton html-radio-buttons |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1236 "Group of connected radio button inputs." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1237 nil |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1238 '(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
|
1239 ("Value & Text: " |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1240 "<input type=\"radio\" name=\"" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1241 (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
|
1242 "\" value=\"" str ?\" |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1243 (if v2 "" " checked") ?> str |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1244 (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
|
1245 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1246 |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1247 (defun html-autoview-mode (&optional arg) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1248 "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
|
1249 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
|
1250 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
|
1251 (interactive "P") |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1252 (if (setq arg (if arg |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1253 (< (prefix-numeric-value arg) 0) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1254 (and (boundp 'after-save-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1255 (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
|
1256 (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
|
1257 (make-local-hook 'after-save-hook) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1258 (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
|
1259 (message "Autoviewing turned %s." |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1260 (if arg "off" "on"))) |
93175ed23e01
Also load for .sgm and .dtd files.
Richard M. Stallman <rms@gnu.org>
parents:
12244
diff
changeset
|
1261 |
809 | 1262 ;;; sgml-mode.el ends here |