Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2026-01-04 15:40:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

save and restore window geometry

Browse Source
This commit is contained in:
Tom Tromey
2015-05-13 21:17:19 -06:00
parent 6d49924a9d
commit ff700b4a97
5 changed files with 55 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
gui/logwindow.py
View File

@@ -27,16 +27,16 @@ default_log_window = None
class LogWindow(gui.toplevel.Toplevel):
def __init__(self):
super(LogWindow, self).__init__('log')
global default_log_window
if default_log_window is not None:
default_log_window.default = ''
default_log_window = self
# For the window title.
self.default = ' [Default]'
gui.startup.send_to_gtk(self._initialize)
super(LogWindow, self).__init__('log')
def _initialize(self):
@in_gtk_thread
def gtk_initialize(self):
builder = gui.startup.create_builder('logwindow.xml')
builder.connect_signals(self)
@@ -45,9 +45,6 @@ class LogWindow(gui.toplevel.Toplevel):
self.view.modify_font(gui.params.font_manager.get_font())
self.buffer = builder.get_object('buffer')
self.update_title()
self.window.show()
@in_gtk_thread
def set_font(self, font):
self.view.modify_font(Pango.FontDescription(font_name))