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

# · Document Type Definition · 39 lines · 33 code · 6 blank · 0 comment · 0 complexity · 46edcd23cdbeaefa06a3c69e6f8d4852 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. <!ATTLIST BUFFER
  7. AUTORELOAD %att-bool; "TRUE"
  8. AUTORELOAD_DIALOG %att-bool; "TRUE" >
  9. <!-- VIEW element -->
  10. <!ELEMENT VIEW ( PANES, GEOMETRY, DOCKING? ) >
  11. <!ATTLIST VIEW
  12. PLAIN %att-bool; "FALSE" >
  13. <!-- PANES element -->
  14. <!ELEMENT PANES ( #PCDATA ) >
  15. <!-- GEOMETRY element -->
  16. <!ELEMENT GEOMETRY EMPTY >
  17. <!ATTLIST GEOMETRY
  18. X CDATA #IMPLIED
  19. Y CDATA #IMPLIED
  20. WIDTH CDATA #IMPLIED
  21. HEIGHT CDATA #IMPLIED
  22. EXT_STATE CDATA #IMPLIED >
  23. <!-- DOCKING element -->
  24. <!ELEMENT DOCKING EMPTY >
  25. <!ATTLIST DOCKING
  26. LEFT CDATA #IMPLIED
  27. TOP CDATA #IMPLIED
  28. BOTTOM CDATA #IMPLIED
  29. RIGHT CDATA #IMPLIED
  30. LEFT_POS CDATA #IMPLIED
  31. TOP_POS CDATA #IMPLIED
  32. BOTTOM_POS CDATA #IMPLIED
  33. RIGHT_POS CDATA #IMPLIED >