annotate etc/schema/xhtml-edit.rnc @ 106788:cf03cdb87fff
* xfns.c (x_set_menu_bar_lines) [!USE_X_TOOLKIT && !USE_GTK]:
Clear areas that will not be updated after change of menu bar lines.
Clear the menu bar window's current matrix when the window gets empty.
author |
YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp> |
date |
Mon, 11 Jan 2010 14:19:47 +0900 |
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
|