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)