view etc/schema/xhtml-xstyle.rnc @ 112175:e09ac5ef1fe4

Fix r99654 change -- rename :on/off-image widget props to :on/off-glyph. * wid-edit.el (visibility): Replace :on-image and :off-image widget properties with :on-glyph and :off-glyph, for consistency with the `visibility' widget. (widget-toggle-value-create, widget-visibility-value-create): Merge into a single function `widget-toggle-value-create'. * cus-edit.el (custom-variable-value-create, custom-visibility) (custom-face-edit-value-create, custom-face-value-create): Replace :on-image and :off-image widget properties with :on-glyph and :off-glyph, for consistency with the `visibility' widget.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 09 Jan 2011 16:05:53 -0500
parents 55a95acb5aa1
children
line wrap: on
line source

# Style Module

style = element style { style.attlist, text }
style.attlist =
  title.attrib,
  I18n.attrib,
  attribute type { ContentType.datatype },
  attribute media { MediaDesc.datatype }?,
  attribute xml:space { "preserve" }?
head.content &= style*