|
1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/DiffColoursPage.ui' |
|
2 # |
|
3 # Created by: PyQt6 UI code generator 6.7.0 |
|
4 # |
|
5 # WARNING: Any manual changes made to this file will be lost when pyuic6 is |
|
6 # run again. Do not edit this file unless you know what you are doing. |
|
7 |
|
8 |
|
9 from PyQt6 import QtCore, QtGui, QtWidgets |
|
10 |
|
11 |
|
12 class Ui_DiffColoursPage(object): |
|
13 def setupUi(self, DiffColoursPage): |
|
14 DiffColoursPage.setObjectName("DiffColoursPage") |
|
15 DiffColoursPage.resize(400, 286) |
|
16 self.verticalLayout = QtWidgets.QVBoxLayout(DiffColoursPage) |
|
17 self.verticalLayout.setObjectName("verticalLayout") |
|
18 self.headerLabel = QtWidgets.QLabel(parent=DiffColoursPage) |
|
19 self.headerLabel.setObjectName("headerLabel") |
|
20 self.verticalLayout.addWidget(self.headerLabel) |
|
21 self.line1 = QtWidgets.QFrame(parent=DiffColoursPage) |
|
22 self.line1.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
23 self.line1.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
|
24 self.line1.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
25 self.line1.setObjectName("line1") |
|
26 self.verticalLayout.addWidget(self.line1) |
|
27 self.gridLayout = QtWidgets.QGridLayout() |
|
28 self.gridLayout.setObjectName("gridLayout") |
|
29 self.headerButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
30 self.headerButton.setObjectName("headerButton") |
|
31 self.gridLayout.addWidget(self.headerButton, 5, 0, 1, 1) |
|
32 self.headerSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
33 self.headerSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
34 self.headerSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
35 self.headerSample.setReadOnly(True) |
|
36 self.headerSample.setObjectName("headerSample") |
|
37 self.gridLayout.addWidget(self.headerSample, 5, 1, 1, 1) |
|
38 self.whitespaceButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
39 self.whitespaceButton.setObjectName("whitespaceButton") |
|
40 self.gridLayout.addWidget(self.whitespaceButton, 6, 0, 1, 1) |
|
41 self.whitespaceSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
42 self.whitespaceSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
43 self.whitespaceSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
44 self.whitespaceSample.setReadOnly(True) |
|
45 self.whitespaceSample.setObjectName("whitespaceSample") |
|
46 self.gridLayout.addWidget(self.whitespaceSample, 6, 1, 1, 1) |
|
47 self.textButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
48 self.textButton.setObjectName("textButton") |
|
49 self.gridLayout.addWidget(self.textButton, 0, 0, 1, 1) |
|
50 self.textSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
51 self.textSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
52 self.textSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
53 self.textSample.setReadOnly(True) |
|
54 self.textSample.setObjectName("textSample") |
|
55 self.gridLayout.addWidget(self.textSample, 0, 1, 1, 1) |
|
56 self.addedButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
57 self.addedButton.setObjectName("addedButton") |
|
58 self.gridLayout.addWidget(self.addedButton, 1, 0, 1, 1) |
|
59 self.addedSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
60 self.addedSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
61 self.addedSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
62 self.addedSample.setReadOnly(True) |
|
63 self.addedSample.setObjectName("addedSample") |
|
64 self.gridLayout.addWidget(self.addedSample, 1, 1, 1, 1) |
|
65 self.removedButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
66 self.removedButton.setObjectName("removedButton") |
|
67 self.gridLayout.addWidget(self.removedButton, 2, 0, 1, 1) |
|
68 self.removedSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
69 self.removedSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
70 self.removedSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
71 self.removedSample.setReadOnly(True) |
|
72 self.removedSample.setObjectName("removedSample") |
|
73 self.gridLayout.addWidget(self.removedSample, 2, 1, 1, 1) |
|
74 self.replacedButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
75 self.replacedButton.setObjectName("replacedButton") |
|
76 self.gridLayout.addWidget(self.replacedButton, 3, 0, 1, 1) |
|
77 self.replacedSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
78 self.replacedSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
79 self.replacedSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
80 self.replacedSample.setReadOnly(True) |
|
81 self.replacedSample.setObjectName("replacedSample") |
|
82 self.gridLayout.addWidget(self.replacedSample, 3, 1, 1, 1) |
|
83 self.contextButton = QtWidgets.QPushButton(parent=DiffColoursPage) |
|
84 self.contextButton.setObjectName("contextButton") |
|
85 self.gridLayout.addWidget(self.contextButton, 4, 0, 1, 1) |
|
86 self.contextSample = QtWidgets.QLineEdit(parent=DiffColoursPage) |
|
87 self.contextSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) |
|
88 self.contextSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) |
|
89 self.contextSample.setReadOnly(True) |
|
90 self.contextSample.setObjectName("contextSample") |
|
91 self.gridLayout.addWidget(self.contextSample, 4, 1, 1, 1) |
|
92 self.verticalLayout.addLayout(self.gridLayout) |
|
93 spacerItem = QtWidgets.QSpacerItem(20, 46, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
|
94 self.verticalLayout.addItem(spacerItem) |
|
95 |
|
96 self.retranslateUi(DiffColoursPage) |
|
97 QtCore.QMetaObject.connectSlotsByName(DiffColoursPage) |
|
98 |
|
99 def retranslateUi(self, DiffColoursPage): |
|
100 _translate = QtCore.QCoreApplication.translate |
|
101 self.headerLabel.setText(_translate("DiffColoursPage", "<b>Configure Diff colors</b>")) |
|
102 self.headerButton.setToolTip(_translate("DiffColoursPage", "Select the background color for header lines")) |
|
103 self.headerButton.setText(_translate("DiffColoursPage", "Header Color")) |
|
104 self.headerSample.setText(_translate("DiffColoursPage", "Header Line")) |
|
105 self.whitespaceButton.setToolTip(_translate("DiffColoursPage", "Select the background color for bad whitespace")) |
|
106 self.whitespaceButton.setText(_translate("DiffColoursPage", "Whitespace Color")) |
|
107 self.textButton.setToolTip(_translate("DiffColoursPage", "Select the text foreground color")) |
|
108 self.textButton.setText(_translate("DiffColoursPage", "Text Color")) |
|
109 self.textSample.setText(_translate("DiffColoursPage", "Normal Text")) |
|
110 self.addedButton.setToolTip(_translate("DiffColoursPage", "Select the background color for additions")) |
|
111 self.addedButton.setText(_translate("DiffColoursPage", "Added Color")) |
|
112 self.addedSample.setText(_translate("DiffColoursPage", "Added Text")) |
|
113 self.removedButton.setToolTip(_translate("DiffColoursPage", "Select the background color for removed text")) |
|
114 self.removedButton.setText(_translate("DiffColoursPage", "Removed Color")) |
|
115 self.removedSample.setText(_translate("DiffColoursPage", "Removed Text")) |
|
116 self.replacedButton.setToolTip(_translate("DiffColoursPage", "Select the background color for replaced text")) |
|
117 self.replacedButton.setText(_translate("DiffColoursPage", "Replaced Color")) |
|
118 self.replacedSample.setText(_translate("DiffColoursPage", "Replaced Text")) |
|
119 self.contextButton.setToolTip(_translate("DiffColoursPage", "Select the background color for context lines")) |
|
120 self.contextButton.setText(_translate("DiffColoursPage", "Context Color")) |
|
121 self.contextSample.setText(_translate("DiffColoursPage", "Context Line")) |