UI/DiffDialog.py

changeset 2580
7403bc14ea26
parent 2302
f29e9405c851
child 2677
3d4277929fb3
child 2965
d133c7edd88a
equal deleted inserted replaced
2579:35bb8c5eb7fe 2580:7403bc14ea26
222 self.filename1 = '' 222 self.filename1 = ''
223 self.filename2 = '' 223 self.filename2 = ''
224 224
225 self.updateInterval = 20 # update every 20 lines 225 self.updateInterval = 20 # update every 20 lines
226 226
227 if Utilities.isWindowsPlatform(): 227 font = Preferences.getEditorOtherFonts("MonospacedFont")
228 self.contents.setFontFamily("Lucida Console") 228 self.contents.setFontFamily(font.family())
229 else: 229 self.contents.setFontPointSize(font.pointSize())
230 self.contents.setFontFamily("Monospace")
231 230
232 self.cNormalFormat = self.contents.currentCharFormat() 231 self.cNormalFormat = self.contents.currentCharFormat()
233 self.cAddedFormat = self.contents.currentCharFormat() 232 self.cAddedFormat = self.contents.currentCharFormat()
234 self.cAddedFormat.setBackground(QBrush(QColor(190, 237, 190))) 233 self.cAddedFormat.setBackground(QBrush(QColor(190, 237, 190)))
235 self.cRemovedFormat = self.contents.currentCharFormat() 234 self.cRemovedFormat = self.contents.currentCharFormat()

eric ide

mercurial