# Copyright (C) 2013 Tom Tromey # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 3 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program. If not, see . # Log window. import gdb import gui.updatewindow import gui.startup from gi.repository import Gtk import functools from gui.startup import in_gdb_thread, in_gtk_thread import gui.events # FIXME: TO DO: # * highlight the changes class DisplayWindow(gui.updatewindow.UpdateWindow): def __init__(self, command): self.command = command super(DisplayWindow, self).__init__() @in_gdb_thread def on_event(self): try: text = gdb.execute(self.command, to_string = True) except gdb.error as what: text = str(what) gui.startup.send_to_gtk(lambda: self._update(text)) @in_gtk_thread def gtk_initialize(self): builder = gui.startup.create_builder('logwindow.xml') builder.connect_signals(self) self.window = builder.get_object('logwindow') self.view = builder.get_object('textview') self.buffer = builder.get_object('buffer') self.window.set_title('GDB "%s" @%d' % (self.command, self.number)) self.window.show() def _update(self, text): self.buffer.delete(self.buffer.get_start_iter(), self.buffer.get_end_iter()) self.buffer.insert_at_cursor(text)