diff -r 35bb8c5eb7fe -r 7403bc14ea26 UI/DiffDialog.py
--- 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()
