products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/org/gjt/sp/jedit/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: perspective.dtd   Sprache: XML

Original von: Isabelle©
<!ENTITY % att-bool '( TRUE | FALSE )' >

<!-- PERSPECTIVE element -->
<!ELEMENT PERSPECTIVE ( BUFFER*, VIEW* ) >

<!-- BUFFER element -->
<!ELEMENT BUFFER ( #PCDATA ) >
<!ATTLIST BUFFER
 AUTORELOAD %att-bool; "TRUE"
 AUTORELOAD_DIALOG  %att-bool; "TRUE"
 UNTITLED  %att-bool; "FALSE" >

<!-- VIEW element -->
<!ELEMENT VIEW ( PANES, GEOMETRY, DOCKING? ) >
<!ATTLIST VIEW
 PLAIN %att-bool; "FALSE" >

<!-- PANES element -->
<!ELEMENT PANES ( #PCDATA ) >

<!-- GEOMETRY element -->
<!ELEMENT GEOMETRY EMPTY >
<!ATTLIST GEOMETRY
 X CDATA #IMPLIED
 Y CDATA #IMPLIED
 WIDTH CDATA #IMPLIED
 HEIGHT CDATA #IMPLIED
 EXT_STATE CDATA #IMPLIED >

<!-- DOCKING element -->
<!ELEMENT DOCKING EMPTY >
<!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 >

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤



Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff