send _disconnect_events to the correct thread

This commit is contained in:
Tom Tromey
2013-11-14 12:06:18 -07:00
parent e44236b2fb
commit fc79d59d09

View File

@@ -156,7 +156,7 @@ class LRUHandler:
def remove(self, window):
self.windows.remove(window)
if len(self.windows) == 0:
gui.startup.send_to_gtk(self._disconnect_events)
gdb.post_event(self._disconnect_events)
@in_gtk_thread
def add(self, window):