/jEdit/tags/jedit-4-2-pre4/org/gjt/sp/jedit/perspective.dtd
Document Type Definition | 36 lines | 30 code | 6 blank | 0 comment | 0 complexity | 61089e887e7ac72a1262e0c192172ce5 MD5 | raw file
1<!ENTITY % att-bool '( TRUE | FALSE )' > 2 3<!-- PERSPECTIVE element --> 4<!ELEMENT PERSPECTIVE ( BUFFER | VIEW )* > 5 6<!-- BUFFER element --> 7<!ELEMENT BUFFER ( #PCDATA ) > 8 9<!-- VIEW element --> 10<!ELEMENT VIEW ( PANES | GEOMETRY | DOCKING ) > 11<!ATTLIST VIEW 12 PLAIN %att-bool; "FALSE" > 13 14<!-- PANES element --> 15<!ELEMENT PANES ( #PCDATA ) > 16 17<!-- GEOMETRY element --> 18<!ELEMENT GEOMETRY > 19<!ATTLIST GEOMETRY 20 X CDATA #IMPLIED 21 Y CDATA #IMPLIED 22 WIDTH CDATA #IMPLIED 23 HEIGHT CDATA #IMPLIED 24 EXT_STATE CDATA #IMPLIED > 25 26<!-- DOCKING element --> 27<!ELEMENT DOCKING > 28<!ATTLIST DOCKING 29 LEFT CDATA #IMPLIED 30 TOP CDATA #IMPLIED 31 BOTTOM CDATA #IMPLIED 32 RIGHT CDATA #IMPLIED 33 LEFT_POS CDATA #IMPLIED 34 TOP_POS CDATA #IMPLIED 35 BOTTOM_POS CDATA #IMPLIED 36 RIGHT_POS CDATA #IMPLIED >