PageRenderTime 75ms CodeModel.GetById 72ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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 >