45 |
def OnInit(self): |
def OnInit(self): |
46 |
self.read_startup_files() |
self.read_startup_files() |
47 |
self.interactor = Interactor(None) |
self.interactor = Interactor(None) |
48 |
top = mainwindow.MainWindow(NULL, -1, self.interactor) |
top = mainwindow.MainWindow(NULL, -1, self, self.interactor) |
49 |
top.Show(true) |
top.Show(true) |
50 |
self.top = top |
self.top = top |
51 |
self.SetTopWindow(top) |
self.SetTopWindow(top) |
85 |
# There's no .thuban directory |
# There's no .thuban directory |
86 |
sys.stderr.write("No ~/.thuban directory\n") |
sys.stderr.write("No ~/.thuban directory\n") |
87 |
|
|
88 |
|
def Session(self): |
89 |
|
"""Return the application's session object""" |
90 |
|
return self.session |
91 |
|
|
92 |
def SetSession(self, session): |
def SetSession(self, session): |
93 |
|
"""Make session the new session. |
94 |
|
|
95 |
|
Issue SESSION_CHANGED. |
96 |
|
""" |
97 |
oldsession = self.session |
oldsession = self.session |
98 |
self.session = session |
self.session = session |
99 |
self.issue(SESSION_CHANGED) |
self.issue(SESSION_CHANGED) |