47 "replaced": Preferences.getDiffColour("ReplacedColor"), |
47 "replaced": Preferences.getDiffColour("ReplacedColor"), |
48 "context": Preferences.getDiffColour("ContextColor"), |
48 "context": Preferences.getDiffColour("ContextColor"), |
49 "header": Preferences.getDiffColour("HeaderColor"), |
49 "header": Preferences.getDiffColour("HeaderColor"), |
50 "whitespace": Preferences.getDiffColour("BadWhitespaceColor"), |
50 "whitespace": Preferences.getDiffColour("BadWhitespaceColor"), |
51 }, |
51 }, |
52 Preferences.getEditorOtherFonts("MonospacedFont") |
52 Preferences.getEditorOtherFonts("MonospacedFont"), |
53 ) |
53 ) |
54 |
54 |
55 self.titleLabel.setText(title) |
55 self.titleLabel.setText(title) |
56 self.previewEdit.setPlainText(diff) |
56 self.previewEdit.setPlainText(diff) |