Mercurial Repositories > eric / file diff

--- a/UI/DiffDialog.py	Sat Apr 13 19:06:54 2013 +0200
+++ b/UI/DiffDialog.py	Sun Apr 14 12:25:38 2013 +0200
@@ -224,10 +224,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()