def __init__( self, app, title ):
super().__init__( app, title )
self.code_font = self.app.getCodeFont()
self.text_edit = QtWidgets.QTextEdit()
self.layout = QtWidgets.QVBoxLayout()
self.layout.addWidget( self.text_edit )
self.setLayout( self.layout )
self.all_text_formats = {}
for style, fg_colour, bg_colour in self.all_style_colours:
char_format = QtGui.QTextCharFormat()
char_format.setFont( self.code_font )
char_format.setForeground( QtGui.QBrush( QtGui.QColor( str(fg_colour) ) ) )
char_format.setBackground( QtGui.QBrush( QtGui.QColor( str(bg_colour) ) ) )
self.all_text_formats[ style ] = char_format
self.text_edit.setReadOnly( True )
em = self.app.fontMetrics().width( 'm' )
ex = self.app.fontMetrics().lineSpacing()
self.resize( 130*em, 45*ex )
评论列表
文章目录