def set_font(self, font):
self._font = font
for view in self.views():
view.setFont(self._font)
view._setText(view.text())
config.set("gui-message-font",
(unicode(font.family()), font.pointSize()))
def close(self, alsoDelete):
config.set("gui-mainwindow-width", self.width())
config.set("gui-mainwindow-height", self.height())
config.set("gui-mainwidget-sizes", self._main_splitter.sizes())
config.set("gui-rightpane-sizes", self._right_splitter.sizes())
return QWidget.close(self, alsoDelete)