annotate etc/schema/xhtml-edit.rnc @ 88115:becc5f138486
(global-whitespace-mode): When turning off the global mode,
turn off the local modes too if whitespace is being unloaded.
(whitespace-unload-function): New function.
| author |
Juanma Barranquero <lekktu@gmail.com> |
| date |
Fri, 01 Feb 2008 11:23:22 +0000 |
| parents |
38f93f3d00a2 |
| children |
|
| rev |
line source |
|
86361
|
1 # Edit Module
|
|
|
2
|
|
|
3 del = element del { del.attlist, Inline.model }
|
|
|
4 del.attlist = Edit.attrib
|
|
|
5 ins = element ins { ins.attlist, Inline.model }
|
|
|
6 ins.attlist = Edit.attrib
|
|
|
7 Edit.attrib =
|
|
|
8 attribute cite { URI.datatype }?,
|
|
|
9 attribute datetime { Datetime.datatype }?
|
|
|
10 Edit.class = del | ins
|
|
|
11 Inline.class |= Edit.class
|
|
|
12 Block.class |= Edit.class
|
