Mercurial Repositories > Rope Refactoring / file comparison
comparison: RefactoringRope/HistoryDialog.py
RefactoringRope/HistoryDialog.py
- branch
- eric7
- changeset 406
- 923d7f711cae
- parent 396
- 933b8fcd854f
- child 409
- 65153bf17e8d
equal
deleted
inserted
replaced
| 405:597d7185437d | 406:923d7f711cae |
|---|---|
| 9 | 9 |
| 10 from PyQt6.QtCore import pyqtSlot, Qt, QItemSelectionModel | 10 from PyQt6.QtCore import pyqtSlot, Qt, QItemSelectionModel |
| 11 from PyQt6.QtGui import QBrush, QTextCursor | 11 from PyQt6.QtGui import QBrush, QTextCursor |
| 12 from PyQt6.QtWidgets import QDialog, QDialogButtonBox, QListWidgetItem, QAbstractButton | 12 from PyQt6.QtWidgets import QDialog, QDialogButtonBox, QListWidgetItem, QAbstractButton |
| 13 | 13 |
| 14 from eric7 import Globals, Preferences, Utilities | 14 from eric7 import Preferences, Utilities |
| 15 from eric7.EricWidgets.EricApplication import ericApp | 15 from eric7.EricWidgets.EricApplication import ericApp |
| 16 from eric7.EricWidgets import EricMessageBox | 16 from eric7.EricWidgets import EricMessageBox |
| 17 | |
| 18 try: | |
| 19 from eric7.SystemUtilities.OSUtilities import isWindowsPlatform | |
| 20 except ImportError: | |
| 21 # imports for eric < 23.1 | |
| 22 from eric7.Globals import isWindowsPlatform | |
| 17 | 23 |
| 18 from .Ui_HistoryDialog import Ui_HistoryDialog | 24 from .Ui_HistoryDialog import Ui_HistoryDialog |
| 19 | 25 |
| 20 | 26 |
| 21 class HistoryDialog(QDialog, Ui_HistoryDialog): | 27 class HistoryDialog(QDialog, Ui_HistoryDialog): |
| 38 """ | 44 """ |
| 39 QDialog.__init__(self, parent) | 45 QDialog.__init__(self, parent) |
| 40 self.setupUi(self) | 46 self.setupUi(self) |
| 41 self.setWindowFlags(Qt.WindowType.Window) | 47 self.setWindowFlags(Qt.WindowType.Window) |
| 42 | 48 |
| 43 if Globals.isWindowsPlatform(): | 49 if isWindowsPlatform(): |
| 44 self.previewEdit.setFontFamily("Lucida Console") | 50 self.previewEdit.setFontFamily("Lucida Console") |
| 45 else: | 51 else: |
| 46 self.previewEdit.setFontFamily("Monospace") | 52 self.previewEdit.setFontFamily("Monospace") |
| 47 | 53 |
| 48 self.formats = {} | 54 self.formats = {} |
