|
1 # Form implementation generated from reading ui file 'src/eric7/Preferences/ConfigurationPages/EricServerPage.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_EricServerPage(object): |
|
13 def setupUi(self, EricServerPage): |
|
14 EricServerPage.setObjectName("EricServerPage") |
|
15 EricServerPage.resize(510, 452) |
|
16 self.verticalLayout_2 = QtWidgets.QVBoxLayout(EricServerPage) |
|
17 self.verticalLayout_2.setObjectName("verticalLayout_2") |
|
18 self.headerLabel = QtWidgets.QLabel(parent=EricServerPage) |
|
19 self.headerLabel.setObjectName("headerLabel") |
|
20 self.verticalLayout_2.addWidget(self.headerLabel) |
|
21 self.line11 = QtWidgets.QFrame(parent=EricServerPage) |
|
22 self.line11.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
23 self.line11.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
|
24 self.line11.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
25 self.line11.setObjectName("line11") |
|
26 self.verticalLayout_2.addWidget(self.line11) |
|
27 self.label_2 = QtWidgets.QLabel(parent=EricServerPage) |
|
28 self.label_2.setWordWrap(True) |
|
29 self.label_2.setObjectName("label_2") |
|
30 self.verticalLayout_2.addWidget(self.label_2) |
|
31 self.groupBox = QtWidgets.QGroupBox(parent=EricServerPage) |
|
32 self.groupBox.setObjectName("groupBox") |
|
33 self.horizontalLayout = QtWidgets.QHBoxLayout(self.groupBox) |
|
34 self.horizontalLayout.setObjectName("horizontalLayout") |
|
35 self.label = QtWidgets.QLabel(parent=self.groupBox) |
|
36 self.label.setObjectName("label") |
|
37 self.horizontalLayout.addWidget(self.label) |
|
38 self.timeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox) |
|
39 self.timeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
|
40 self.timeoutSpinBox.setMinimum(5) |
|
41 self.timeoutSpinBox.setMaximum(60) |
|
42 self.timeoutSpinBox.setObjectName("timeoutSpinBox") |
|
43 self.horizontalLayout.addWidget(self.timeoutSpinBox) |
|
44 spacerItem = QtWidgets.QSpacerItem(294, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
45 self.horizontalLayout.addItem(spacerItem) |
|
46 self.verticalLayout_2.addWidget(self.groupBox) |
|
47 self.groupBox_2 = QtWidgets.QGroupBox(parent=EricServerPage) |
|
48 self.groupBox_2.setObjectName("groupBox_2") |
|
49 self.verticalLayout = QtWidgets.QVBoxLayout(self.groupBox_2) |
|
50 self.verticalLayout.setObjectName("verticalLayout") |
|
51 self.startShellCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_2) |
|
52 self.startShellCheckBox.setObjectName("startShellCheckBox") |
|
53 self.verticalLayout.addWidget(self.startShellCheckBox) |
|
54 self.verticalLayout_2.addWidget(self.groupBox_2) |
|
55 spacerItem1 = QtWidgets.QSpacerItem(20, 87, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
|
56 self.verticalLayout_2.addItem(spacerItem1) |
|
57 |
|
58 self.retranslateUi(EricServerPage) |
|
59 QtCore.QMetaObject.connectSlotsByName(EricServerPage) |
|
60 EricServerPage.setTabOrder(self.timeoutSpinBox, self.startShellCheckBox) |
|
61 |
|
62 def retranslateUi(self, EricServerPage): |
|
63 _translate = QtCore.QCoreApplication.translate |
|
64 self.headerLabel.setText(_translate("EricServerPage", "<b>Configure eric-ide Server Settings</b>")) |
|
65 self.label_2.setText(_translate("EricServerPage", "<b>Note:</b> The eric-ide server is configured via command line parameters. The parameters of this page configure the interface to the eric-ide server.")) |
|
66 self.groupBox.setTitle(_translate("EricServerPage", "Server Connection")) |
|
67 self.label.setText(_translate("EricServerPage", "Default Timeout:")) |
|
68 self.timeoutSpinBox.setSuffix(_translate("EricServerPage", " s")) |
|
69 self.groupBox_2.setTitle(_translate("EricServerPage", "Shell")) |
|
70 self.startShellCheckBox.setToolTip(_translate("EricServerPage", "Select this to start an eric-ide Server Shell when a connection to an eric-ide Server is established.")) |
|
71 self.startShellCheckBox.setText(_translate("EricServerPage", "Start server Shell when server is conncted")) |