UI/CompareDialog.py

branch
Py2 comp.
changeset 2677
3d4277929fb3
parent 2525
8b507a9a2d40
parent 2580
7403bc14ea26
child 2847
1843ef6e2656
--- 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()

eric ide

mercurial