diff options
Diffstat (limited to 'data/rc.xsd')
| -rw-r--r-- | data/rc.xsd | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/data/rc.xsd b/data/rc.xsd index 0544cfd4..bc8a8fe6 100644 --- a/data/rc.xsd +++ b/data/rc.xsd @@ -54,7 +54,7 @@ </xsd:annotation> <xsd:element name="policy" type="ob:placementpolicy"/> <xsd:element name="center" type="ob:bool"/> - <xsd:element name="active" type="ob:bool"/> + <xsd:element name="monitor" type="ob:placementmonitor"/> </xsd:complexType> <xsd:complexType name="margins"> <xsd:annotation> @@ -402,6 +402,13 @@ <xsd:enumeration value="UnderMouse"/> </xsd:restriction> </xsd:simpleType> + <xsd:simpleType name="placementmonitor"> + <xsd:restriction base="xsd:string"> + <xsd:enumeration value="Any"/> + <xsd:enumeration value="Mouse"/> + <xsd:enumeration value="Active"/> + </xsd:restriction> + </xsd:simpleType> <xsd:simpleType name="popupposition"> <xsd:restriction base="xsd:string"> <xsd:enumeration value="Top"/> |