fix log window defaulting

This commit is contained in:
Tom Tromey
2015-05-03 18:05:54 -06:00
parent 8ee28d3cef
commit c52ea9f922

View File

@@ -51,6 +51,10 @@ class LogWindow(gui.toplevel.Toplevel):
def deleted(self, *args):
if default_log_window == self:
default_log_window = None
for window in gui.toplevel.state.windows():
if isinstance(window, LogWindow):
default_log_window = window
break
def _append(self, text):
self.buffer.insert_at_cursor(text)