/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
- <!ENTITY % att-bool '( TRUE | FALSE )' >
- <!-- PERSPECTIVE element -->
- <!ELEMENT PERSPECTIVE ( BUFFER | VIEW )* >
- <!-- BUFFER element -->
- <!ELEMENT BUFFER ( #PCDATA ) >
- <!-- VIEW element -->
- <!ELEMENT VIEW ( PANES | GEOMETRY | DOCKING ) >
- <!ATTLIST VIEW
- PLAIN %att-bool; "FALSE" >
- <!-- PANES element -->
- <!ELEMENT PANES ( #PCDATA ) >
- <!-- GEOMETRY element -->
- <!ELEMENT GEOMETRY >
- <!ATTLIST GEOMETRY
- X CDATA #IMPLIED
- Y CDATA #IMPLIED
- WIDTH CDATA #IMPLIED
- HEIGHT CDATA #IMPLIED
- EXT_STATE CDATA #IMPLIED >
- <!-- DOCKING element -->
- <!ELEMENT DOCKING >
- <!ATTLIST DOCKING
- LEFT CDATA #IMPLIED
- TOP CDATA #IMPLIED
- BOTTOM CDATA #IMPLIED
- RIGHT CDATA #IMPLIED
- LEFT_POS CDATA #IMPLIED
- TOP_POS CDATA #IMPLIED
- BOTTOM_POS CDATA #IMPLIED
- RIGHT_POS CDATA #IMPLIED >