• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

DTDs/Session-4.4.dtd@de779a22396a (annotated)

DTDs/Session-4.4.dtd

Tue, 20 Aug 2019 17:07:44 +0200

author

Detlev Offenbach <detlev@die-offenbachs.de>

date

Tue, 20 Aug 2019 17:07:44 +0200

branch

micropython

changeset 7144

de779a22396a

parent 228

1cce8982e636

permissions

-rw-r--r--

Revision <7140> closed.

228 1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	1	<!-- This is the DTD for eric's (project) session file version 4.4 -->
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	2
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	3	<!ELEMENT MultiProject (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	4
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	5	<!ELEMENT Project (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	6
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	7	<!ELEMENT Filename (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	8	<!ATTLIST Filename
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	9	cline CDATA #REQUIRED
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	10	cindex CDATA #REQUIRED
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	11	folds CDATA #REQUIRED
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	12	zoom CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	13
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	14	<!ELEMENT Filenames (Filename*)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	15
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	16	<!ELEMENT ActiveWindow (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	17	<!ATTLIST ActiveWindow
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	18	cline CDATA #REQUIRED
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	19	cindex CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	20
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	21	<!ELEMENT BpFilename (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	22	<!ELEMENT Linenumber EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	23	<!ATTLIST Linenumber
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	24	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	25	<!ELEMENT Condition (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	26	<!ELEMENT Temporary EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	27	<!ATTLIST Temporary
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	28	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	29	<!ELEMENT Enabled EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	30	<!ATTLIST Enabled
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	31	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	32	<!ELEMENT Count EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	33	<!ATTLIST Count
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	34	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	35
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	36	<!ELEMENT Breakpoint (BpFilename,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	37	Linenumber,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	38	Condition,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	39	Temporary,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	40	Enabled,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	41	Count)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	42
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	43	<!ELEMENT Breakpoints (Breakpoint*)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	44
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	45	<!ELEMENT Special (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	46
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	47	<!ELEMENT Watchexpression (Condition,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	48	Temporary,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	49	Enabled,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	50	Count,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	51	Special)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	52
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	53	<!ELEMENT Watchexpressions (Watchexpression*)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	54
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	55	<!ELEMENT Exception (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	56
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	57	<!ELEMENT IgnoredException (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	58
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	59	<!ELEMENT CommandLine (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	60	<!ELEMENT WorkingDirectory (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	61	<!ELEMENT Environment (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	62	<!ELEMENT ReportExceptions EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	63	<!ATTLIST ReportExceptions
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	64	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	65	<!ELEMENT Exceptions (Exception*)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	66	<!ELEMENT IgnoredExceptions (IgnoredException*)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	67	<!ELEMENT AutoClearShell EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	68	<!ATTLIST AutoClearShell
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	69	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	70	<!ELEMENT TracePython EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	71	<!ATTLIST TracePython
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	72	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	73	<!ELEMENT AutoContinue EMPTY>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	74	<!ATTLIST AutoContinue
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	75	value CDATA #REQUIRED>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	76	<!ELEMENT CovexcPattern (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	77
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	78	<!ELEMENT DebugInfo (CommandLine,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	79	WorkingDirectory,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	80	Environment,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	81	ReportExceptions,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	82	Exceptions,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	83	IgnoredExceptions,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	84	AutoClearShell,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	85	TracePython,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	86	AutoContinue,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	87	CovexcPattern)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	88
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	89	<!ELEMENT BmFilename (#PCDATA)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	90
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	91	<!ELEMENT Bookmark (BmFilename,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	92	Linenumber)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	93
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	94	<!ELEMENT Bookmarks (Bookmark*)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	95
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	96	<!ELEMENT Session (MultiProject?,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	97	Project?,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	98	Filenames,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	99	ActiveWindow?,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	100	Breakpoints,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	101	Watchexpressions,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	102	DebugInfo,
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	103	Bookmarks)>
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	104	<!ATTLIST Session
1cce8982e636 Added code to save the editor zoom factor in the session file. Detlev Offenbach <detlev@die-offenbachs.de> parents: diff changeset	105	version CDATA #REQUIRED>