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)
