+ <xsd:simpleType name="mouse_or_int">
+ <xsd:restriction base="xsd:string">
+ <!-- ob: atoi($_) unless $_ eq 'center'; -->
+ <!-- I think the regexp DTRT WRT atoi. -->
+ <xsd:pattern value="mouse|0|[1-9][0-9]*"/>
+ </xsd:restriction>
+ </xsd:simpleType>