Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2025-12-16 07:10:04 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix earlier commit

Browse Source
This commit is contained in:
Tom Tromey
2015-05-03 18:17:39 -06:00
parent d951a7447b
commit 03fb15a03a
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gui/toplevel.py
View File

@@ -70,6 +70,10 @@ class _ToplevelState(object):
def set_font(self, font_name):
gui.startup.send_to_gtk(lambda: self._do_set_font(font_name))
@in_gtk_thread
def windows(self):
return self.toplevels.values()
state = _ToplevelState()
class Toplevel(object):