/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
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- <!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 >