| 191 |
self.SetSession(create_empty_session()) |
self.SetSession(create_empty_session()) |
| 192 |
|
|
| 193 |
def OpenSession(self, filename): |
def OpenSession(self, filename): |
| 194 |
|
"""Open the session in the file named filename""" |
| 195 |
|
# Make sure we deal with an absolute pathname. Otherwise we can |
| 196 |
|
# get problems when saving because the saving code expects an |
| 197 |
|
# absolute directory name |
| 198 |
|
filename = os.path.abspath(filename) |
| 199 |
session = load_session(filename) |
session = load_session(filename) |
| 200 |
session.SetFilename(filename) |
session.SetFilename(filename) |
| 201 |
session.UnsetModified() |
session.UnsetModified() |
Parent Directory
| 
Revision Log
| 
Patch