diff -r e60ea6cb8e11 -r 3d4277929fb3 UI/CompareDialog.py
--- a/UI/CompareDialog.py Fri May 24 18:39:58 2013 +0200
+++ b/UI/CompareDialog.py Tue May 28 20:52:12 2013 +0200
@@ -122,12 +122,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()
