view 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 (2008-02-01)
parents 38f93f3d00a2
children
line wrap: on
line source
# Edit Module

del = element del { del.attlist, Inline.model }
del.attlist = Edit.attrib
ins = element ins { ins.attlist, Inline.model }
ins.attlist = Edit.attrib
Edit.attrib =
  attribute cite { URI.datatype }?,
  attribute datetime { Datetime.datatype }?
Edit.class = del | ins
Inline.class |= Edit.class
Block.class |= Edit.class