5 |
5 |
6 """ |
6 """ |
7 Module implementing a window to show a unified diff.. |
7 Module implementing a window to show a unified diff.. |
8 """ |
8 """ |
9 |
9 |
|
10 from PyQt6.QtCore import Qt |
10 from PyQt6.QtWidgets import QWidget |
11 from PyQt6.QtWidgets import QWidget |
11 |
12 |
12 from eric7 import Preferences |
13 from eric7 import Preferences |
13 from eric7.UI.DiffHighlighter import DiffHighlighter |
14 from eric7.UI.DiffHighlighter import DiffHighlighter |
14 |
15 |
27 @param parent reference to the parent widget (defaults to None) |
28 @param parent reference to the parent widget (defaults to None) |
28 @type QWidget (optional) |
29 @type QWidget (optional) |
29 """ |
30 """ |
30 super().__init__(parent) |
31 super().__init__(parent) |
31 self.setupUi(self) |
32 self.setupUi(self) |
|
33 self.setWindowFlags(Qt.WindowType.Window) |
32 |
34 |
33 font = Preferences.getEditorOtherFonts("MonospacedFont") |
35 font = Preferences.getEditorOtherFonts("MonospacedFont") |
34 self.diffEdit.document().setDefaultFont(font) |
36 self.diffEdit.document().setDefaultFont(font) |
35 |
37 |
36 self.__highlighter = DiffHighlighter(self.diffEdit.document()) |
38 self.__highlighter = DiffHighlighter(self.diffEdit.document()) |