src/eric7/CodeFormatting/FormattingDiffWidget.py

branch
eric7
changeset 9453
e5065dde905d
parent 9413
80c06d472826
child 9473
3f23dbf37dbe
equal deleted inserted replaced
9452:325c6de4b1f5 9453:e5065dde905d
1 # -*- coding: utf-8 -*-
2
3 # Copyright (c) 2022 Detlev Offenbach <detlev@die-offenbachs.de>
4 #
5
6 """
7 Module implementing a window to show a unified diff..
8 """
9
10 from PyQt6.QtWidgets import QWidget
11
12 from .Ui_FormattingDiffWidget import Ui_FormattingDiffWidget
13
14 from eric7.UI.DiffHighlighter import DiffHighlighter
15
16 from eric7 import Preferences
17
18
19 class FormattingDiffWidget(QWidget, Ui_FormattingDiffWidget):
20 """
21 Class implementing a window to show a unified diff..
22 """
23
24 def __init__(self, parent=None):
25 """
26 Constructor
27
28 @param parent reference to the parent widget (defaults to None)
29 @type QWidget (optional)
30 """
31 super().__init__(parent)
32 self.setupUi(self)
33
34 font = Preferences.getEditorOtherFonts("MonospacedFont")
35 self.diffEdit.document().setDefaultFont(font)
36
37 self.__highlighter = DiffHighlighter(self.diffEdit.document())
38 self.__savedGeometry = None
39
40 def showDiff(self, diff):
41 """
42 Public method to show the given diff.
43
44 @param diff text containing the unified diff
45 @type str
46 """
47 self.diffEdit.clear()
48 self.__highlighter.regenerateRules()
49
50 if diff:
51 self.diffEdit.setPlainText(diff)
52 else:
53 self.diffEdit.setPlainText(self.tr("There is no difference."))
54
55 if self.__savedGeometry is not None:
56 self.restoreGeometry(self.__savedGeometry)
57
58 self.show()
59
60 def closeEvent(self, evt):
61 """
62 Protected slot implementing a close event handler.
63
64 @param evt reference to the close event
65 @type QCloseEvent
66 """
67 self.__savedGeometry = self.saveGeometry()

eric ide

mercurial