/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. <!-- PERSPECTIVE element -->
  3. <!ELEMENT PERSPECTIVE ( BUFFER | VIEW )* >
  4. <!-- BUFFER element -->
  5. <!ELEMENT BUFFER ( #PCDATA ) >
  6. <!-- VIEW element -->
  7. <!ELEMENT VIEW ( PANES | GEOMETRY | DOCKING ) >
  8. <!ATTLIST VIEW
  9. PLAIN %att-bool; "FALSE" >
  10. <!-- PANES element -->
  11. <!ELEMENT PANES ( #PCDATA ) >
  12. <!-- GEOMETRY element -->
  13. <!ELEMENT GEOMETRY >
  14. <!ATTLIST GEOMETRY
  15. X CDATA #IMPLIED
  16. Y CDATA #IMPLIED
  17. WIDTH CDATA #IMPLIED
  18. HEIGHT CDATA #IMPLIED
  19. EXT_STATE CDATA #IMPLIED >
  20. <!-- DOCKING element -->
  21. <!ELEMENT DOCKING >
  22. <!ATTLIST DOCKING
  23. LEFT CDATA #IMPLIED
  24. TOP CDATA #IMPLIED
  25. BOTTOM CDATA #IMPLIED
  26. RIGHT CDATA #IMPLIED
  27. LEFT_POS CDATA #IMPLIED
  28. TOP_POS CDATA #IMPLIED
  29. BOTTOM_POS CDATA #IMPLIED
  30. RIGHT_POS CDATA #IMPLIED >