annotate etc/schema/xhtml-edit.rnc @ 104906:7018aaffba60
Bug#4375 (can't kill killed gud buffer")
(gdb): Revert 2009-08-11 change. User should detach inferior
manually.
| author |
Nick Roberts <nickrob@snap.net.nz> |
| date |
Thu, 10 Sep 2009 03:42:13 +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
|
