view etc/schema/xhtml-edit.rnc @ 111039:5e8f54361c49

Fix incorrect font metrics when the same font is opened with different pixelsizes.
author Kenichi Handa <handa@m17n.org>
date Fri, 15 Oct 2010 17:01:41 +0900
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