/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/perspective.dtd

 1<!ENTITY % att-bool '( TRUE | FALSE )' >
 2
 3<!-- PERSPECTIVE element -->
 4<!ELEMENT PERSPECTIVE ( BUFFER*, VIEW* ) >
 5
 6<!-- BUFFER element -->
 7<!ELEMENT BUFFER ( #PCDATA ) >
 8<!ATTLIST BUFFER
 9	AUTORELOAD %att-bool; "TRUE"
10	AUTORELOAD_DIALOG  %att-bool; "TRUE" >
11
12<!-- VIEW element -->
13<!ELEMENT VIEW ( PANES, GEOMETRY, DOCKING? ) >
14<!ATTLIST VIEW
15	PLAIN %att-bool; "FALSE" >
16
17<!-- PANES element -->
18<!ELEMENT PANES ( #PCDATA ) >
19
20<!-- GEOMETRY element -->
21<!ELEMENT GEOMETRY EMPTY >
22<!ATTLIST GEOMETRY
23	X CDATA #IMPLIED
24	Y CDATA #IMPLIED
25	WIDTH CDATA #IMPLIED
26	HEIGHT CDATA #IMPLIED
27	EXT_STATE CDATA #IMPLIED >
28
29<!-- DOCKING element -->
30<!ELEMENT DOCKING EMPTY >
31<!ATTLIST DOCKING
32	LEFT CDATA #IMPLIED
33	TOP CDATA #IMPLIED
34	BOTTOM CDATA #IMPLIED
35	RIGHT CDATA #IMPLIED
36	LEFT_POS CDATA #IMPLIED
37	TOP_POS CDATA #IMPLIED
38	BOTTOM_POS CDATA #IMPLIED
39	RIGHT_POS CDATA #IMPLIED >