예제 #1
0
 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()))
예제 #2
0
 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)