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