|
1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/ViewmanagerPage.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_ViewmanagerPage(object): |
|
13 def setupUi(self, ViewmanagerPage): |
|
14 ViewmanagerPage.setObjectName("ViewmanagerPage") |
|
15 ViewmanagerPage.resize(429, 337) |
|
16 self.vboxlayout = QtWidgets.QVBoxLayout(ViewmanagerPage) |
|
17 self.vboxlayout.setObjectName("vboxlayout") |
|
18 self.headerLabel = QtWidgets.QLabel(parent=ViewmanagerPage) |
|
19 self.headerLabel.setObjectName("headerLabel") |
|
20 self.vboxlayout.addWidget(self.headerLabel) |
|
21 self.line9_2 = QtWidgets.QFrame(parent=ViewmanagerPage) |
|
22 self.line9_2.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
23 self.line9_2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
|
24 self.line9_2.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
25 self.line9_2.setObjectName("line9_2") |
|
26 self.vboxlayout.addWidget(self.line9_2) |
|
27 self.TextLabel1_2_2_2_3 = QtWidgets.QLabel(parent=ViewmanagerPage) |
|
28 self.TextLabel1_2_2_2_3.setObjectName("TextLabel1_2_2_2_3") |
|
29 self.vboxlayout.addWidget(self.TextLabel1_2_2_2_3) |
|
30 self.hboxlayout = QtWidgets.QHBoxLayout() |
|
31 self.hboxlayout.setObjectName("hboxlayout") |
|
32 self.windowLabel = QtWidgets.QLabel(parent=ViewmanagerPage) |
|
33 self.windowLabel.setObjectName("windowLabel") |
|
34 self.hboxlayout.addWidget(self.windowLabel) |
|
35 self.windowComboBox = QtWidgets.QComboBox(parent=ViewmanagerPage) |
|
36 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed) |
|
37 sizePolicy.setHorizontalStretch(0) |
|
38 sizePolicy.setVerticalStretch(0) |
|
39 sizePolicy.setHeightForWidth(self.windowComboBox.sizePolicy().hasHeightForWidth()) |
|
40 self.windowComboBox.setSizePolicy(sizePolicy) |
|
41 self.windowComboBox.setObjectName("windowComboBox") |
|
42 self.hboxlayout.addWidget(self.windowComboBox) |
|
43 self.vboxlayout.addLayout(self.hboxlayout) |
|
44 self.previewPixmap = QtWidgets.QLabel(parent=ViewmanagerPage) |
|
45 self.previewPixmap.setScaledContents(False) |
|
46 self.previewPixmap.setAlignment(QtCore.Qt.AlignmentFlag.AlignCenter) |
|
47 self.previewPixmap.setObjectName("previewPixmap") |
|
48 self.vboxlayout.addWidget(self.previewPixmap) |
|
49 self.line = QtWidgets.QFrame(parent=ViewmanagerPage) |
|
50 self.line.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
51 self.line.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
|
52 self.line.setObjectName("line") |
|
53 self.vboxlayout.addWidget(self.line) |
|
54 self.tabViewGroupBox = QtWidgets.QGroupBox(parent=ViewmanagerPage) |
|
55 self.tabViewGroupBox.setEnabled(False) |
|
56 self.tabViewGroupBox.setObjectName("tabViewGroupBox") |
|
57 self.vboxlayout1 = QtWidgets.QVBoxLayout(self.tabViewGroupBox) |
|
58 self.vboxlayout1.setObjectName("vboxlayout1") |
|
59 self.hboxlayout1 = QtWidgets.QHBoxLayout() |
|
60 self.hboxlayout1.setObjectName("hboxlayout1") |
|
61 self.filenameLengthLabel = QtWidgets.QLabel(parent=self.tabViewGroupBox) |
|
62 self.filenameLengthLabel.setObjectName("filenameLengthLabel") |
|
63 self.hboxlayout1.addWidget(self.filenameLengthLabel) |
|
64 self.filenameLengthSpinBox = QtWidgets.QSpinBox(parent=self.tabViewGroupBox) |
|
65 self.filenameLengthSpinBox.setMinimum(1) |
|
66 self.filenameLengthSpinBox.setMaximum(100) |
|
67 self.filenameLengthSpinBox.setProperty("value", 40) |
|
68 self.filenameLengthSpinBox.setObjectName("filenameLengthSpinBox") |
|
69 self.hboxlayout1.addWidget(self.filenameLengthSpinBox) |
|
70 spacerItem = QtWidgets.QSpacerItem(81, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
71 self.hboxlayout1.addItem(spacerItem) |
|
72 self.vboxlayout1.addLayout(self.hboxlayout1) |
|
73 self.filenameOnlyCheckBox = QtWidgets.QCheckBox(parent=self.tabViewGroupBox) |
|
74 self.filenameOnlyCheckBox.setObjectName("filenameOnlyCheckBox") |
|
75 self.vboxlayout1.addWidget(self.filenameOnlyCheckBox) |
|
76 self.vboxlayout.addWidget(self.tabViewGroupBox) |
|
77 self.groupBox_7 = QtWidgets.QGroupBox(parent=ViewmanagerPage) |
|
78 self.groupBox_7.setObjectName("groupBox_7") |
|
79 self.hboxlayout2 = QtWidgets.QHBoxLayout(self.groupBox_7) |
|
80 self.hboxlayout2.setObjectName("hboxlayout2") |
|
81 self.label = QtWidgets.QLabel(parent=self.groupBox_7) |
|
82 self.label.setObjectName("label") |
|
83 self.hboxlayout2.addWidget(self.label) |
|
84 self.recentFilesSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_7) |
|
85 self.recentFilesSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
|
86 self.recentFilesSpinBox.setMinimum(5) |
|
87 self.recentFilesSpinBox.setMaximum(50) |
|
88 self.recentFilesSpinBox.setObjectName("recentFilesSpinBox") |
|
89 self.hboxlayout2.addWidget(self.recentFilesSpinBox) |
|
90 spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
91 self.hboxlayout2.addItem(spacerItem1) |
|
92 self.vboxlayout.addWidget(self.groupBox_7) |
|
93 spacerItem2 = QtWidgets.QSpacerItem(388, 20, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
|
94 self.vboxlayout.addItem(spacerItem2) |
|
95 self.windowLabel.setBuddy(self.windowComboBox) |
|
96 |
|
97 self.retranslateUi(ViewmanagerPage) |
|
98 QtCore.QMetaObject.connectSlotsByName(ViewmanagerPage) |
|
99 |
|
100 def retranslateUi(self, ViewmanagerPage): |
|
101 _translate = QtCore.QCoreApplication.translate |
|
102 self.headerLabel.setText(_translate("ViewmanagerPage", "<b>Configure viewmanager</b>")) |
|
103 self.TextLabel1_2_2_2_3.setText(_translate("ViewmanagerPage", "<font color=\"#FF0000\"><b>Note:</b> This setting is activated at the next startup of the application.</font>")) |
|
104 self.windowLabel.setText(_translate("ViewmanagerPage", "Window view:")) |
|
105 self.windowComboBox.setToolTip(_translate("ViewmanagerPage", "Select the window view type.")) |
|
106 self.windowComboBox.setWhatsThis(_translate("ViewmanagerPage", "The kind of window view can be selected from this list. The picture below gives an example of the selected view type.")) |
|
107 self.previewPixmap.setToolTip(_translate("ViewmanagerPage", "Preview of selected window view")) |
|
108 self.previewPixmap.setWhatsThis(_translate("ViewmanagerPage", "This displays a small preview of the selected window view. This is the way the source windows are displayed in the application.")) |
|
109 self.tabViewGroupBox.setTitle(_translate("ViewmanagerPage", "Tabbed View")) |
|
110 self.filenameLengthLabel.setText(_translate("ViewmanagerPage", "Filename Length of Tab:")) |
|
111 self.filenameLengthSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the number of characters to be shown in the tab.")) |
|
112 self.filenameOnlyCheckBox.setToolTip(_translate("ViewmanagerPage", "Select to display the filename only")) |
|
113 self.filenameOnlyCheckBox.setText(_translate("ViewmanagerPage", "Show filename only")) |
|
114 self.groupBox_7.setTitle(_translate("ViewmanagerPage", "Recent Files")) |
|
115 self.label.setText(_translate("ViewmanagerPage", "Number of recent files:")) |
|
116 self.recentFilesSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the number of recent files to remember")) |