120 self.vsb2 = self.contents_2.verticalScrollBar() |
120 self.vsb2 = self.contents_2.verticalScrollBar() |
121 self.hsb2 = self.contents_2.horizontalScrollBar() |
121 self.hsb2 = self.contents_2.horizontalScrollBar() |
122 |
122 |
123 self.on_synchronizeCheckBox_toggled(True) |
123 self.on_synchronizeCheckBox_toggled(True) |
124 |
124 |
125 if Utilities.isWindowsPlatform(): |
125 font = Preferences.getEditorOtherFonts("MonospacedFont") |
126 self.contents_1.setFontFamily("Lucida Console") |
126 self.contents_1.setFontFamily(font.family()) |
127 self.contents_2.setFontFamily("Lucida Console") |
127 self.contents_1.setFontPointSize(font.pointSize()) |
128 else: |
128 self.contents_2.setFontFamily(font.family()) |
129 self.contents_1.setFontFamily("Monospace") |
129 self.contents_2.setFontPointSize(font.pointSize()) |
130 self.contents_2.setFontFamily("Monospace") |
|
131 self.fontHeight = QFontMetrics(self.contents_1.currentFont()).height() |
130 self.fontHeight = QFontMetrics(self.contents_1.currentFont()).height() |
132 |
131 |
133 self.cNormalFormat = self.contents_1.currentCharFormat() |
132 self.cNormalFormat = self.contents_1.currentCharFormat() |
134 self.cInsertedFormat = self.contents_1.currentCharFormat() |
133 self.cInsertedFormat = self.contents_1.currentCharFormat() |
135 self.cInsertedFormat.setBackground(QBrush(QColor(190, 237, 190))) |
134 self.cInsertedFormat.setBackground(QBrush(QColor(190, 237, 190))) |