def __init__(self, *args, **kwargs): super(StdoutWidget, self).__init__(*args, **kwargs) self.setReadOnly(True) metrics = QtGui.QFontMetrics(self.currentFont()) self.setTabStopWidth(4 * metrics.width(' ')) self.decoder = AnsiDecoder() #self.document().setDefaultStyleSheet(DefaultStyle) self.current_style = TextStyle()
def __init__(self, theme, *args, **kwargs): super(TerminalWidget, self).__init__(*args, **kwargs) self.ui = Ui_TerminalWidget() self.ui.setupUi(self) self.decoder = AnsiDecoder() self.theme = theme self.ui.stdout.document().setDefaultStyleSheet(self.theme.term) self.ui.prompt.setText("<html></html>") self.ui.prompt.findChild(QtGui.QTextDocument).setDefaultStyleSheet(self.theme.term)