122 |
for map in self.maps: |
for map in self.maps: |
123 |
map.UnsetModified() |
map.UnsetModified() |
124 |
|
|
125 |
|
def TreeInfo(self): |
126 |
|
items = [] |
127 |
|
if self.filename is None: |
128 |
|
items.append("Filename:") |
129 |
|
else: |
130 |
|
items.append("Filename: %s" % self.filename) |
131 |
|
|
132 |
|
if self.WasModified(): |
133 |
|
items.append("Modified") |
134 |
|
else: |
135 |
|
items.append("Unmodified") |
136 |
|
|
137 |
|
items.extend(self.maps) |
138 |
|
items.extend(self.extensions) |
139 |
|
|
140 |
|
return ("Session: %s" % self.title, items) |
141 |
|
|
142 |
|
|
143 |
def create_empty_session(): |
def create_empty_session(): |