Mercurial Repositories > eric / file diff

diff -r e60ea6cb8e11 -r 3d4277929fb3 UI/DiffDialog.py
--- a/UI/DiffDialog.py	Fri May 24 18:39:58 2013 +0200
+++ b/UI/DiffDialog.py	Tue May 28 20:52:12 2013 +0200
@@ -226,10 +226,9 @@
         
         self.updateInterval = 20    # update every 20 lines
         
-        if Utilities.isWindowsPlatform():
-            self.contents.setFontFamily("Lucida Console")
-        else:
-            self.contents.setFontFamily("Monospace")
+        font = Preferences.getEditorOtherFonts("MonospacedFont")
+        self.contents.setFontFamily(font.family())
+        self.contents.setFontPointSize(font.pointSize())
         
         self.cNormalFormat = self.contents.currentCharFormat()
         self.cAddedFormat = self.contents.currentCharFormat()