diff -r 35bb8c5eb7fe -r 7403bc14ea26 UI/CompareDialog.py
--- a/UI/CompareDialog.py Sat Apr 13 19:06:54 2013 +0200
+++ b/UI/CompareDialog.py Sun Apr 14 12:25:38 2013 +0200
@@ -120,12 +120,11 @@
self.on_synchronizeCheckBox_toggled(True)
- if Utilities.isWindowsPlatform():
- self.contents_1.setFontFamily("Lucida Console")
- self.contents_2.setFontFamily("Lucida Console")
- else:
- self.contents_1.setFontFamily("Monospace")
- self.contents_2.setFontFamily("Monospace")
+ font = Preferences.getEditorOtherFonts("MonospacedFont")
+ self.contents_1.setFontFamily(font.family())
+ self.contents_1.setFontPointSize(font.pointSize())
+ self.contents_2.setFontFamily(font.family())
+ self.contents_2.setFontPointSize(font.pointSize())
self.fontHeight = QFontMetrics(self.contents_1.currentFont()).height()
self.cNormalFormat = self.contents_1.currentCharFormat()
