From c52ea9f922a4c2066571d46d94a9ecea94660525 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tom@tromey.com>
Date: Sun, 3 May 2015 18:05:54 -0600
Subject: [PATCH] fix log window defaulting

---
 gui/logwindow.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gui/logwindow.py b/gui/logwindow.py
index d540c97..5de5246 100644
--- a/gui/logwindow.py
+++ b/gui/logwindow.py
@@ -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)