annotate etc/schema/xhtml-edit.rnc @ 104672:2e2a12f25cd1
(gdb-use-separate-io-buffer): Remove
variable ...
(gdb-init-1, gdb-display-separate-io-buffer)
(gdb-frame-separate-io-buffer, gdb-setup-windows): ... and
references to it.
(gdb-inferior-io-mode): Use make-comint-in-buffer.
(gdb-inferior-filter): Use comint-output-filter to stop
echoing and remove ^M characters.
author |
Nick Roberts <nickrob@snap.net.nz> |
date |
Fri, 28 Aug 2009 10:56: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
|