mirror of
https://github.com/GNS3/gns3-gui.git
synced 2026-05-17 08:56:06 +03:00
646 lines
58 KiB
Python
646 lines
58 KiB
Python
# Form implementation generated from reading ui file '/home/grossmj/PycharmProjects/gns3-gui/gns3/ui/general_preferences_page.ui'
|
|
#
|
|
# Created by: PyQt6 UI code generator 6.7.1
|
|
#
|
|
# WARNING: Any manual changes made to this file will be lost when pyuic6 is
|
|
# run again. Do not edit this file unless you know what you are doing.
|
|
|
|
|
|
from PyQt6 import QtCore, QtGui, QtWidgets
|
|
|
|
|
|
class Ui_GeneralPreferencesPageWidget(object):
|
|
def setupUi(self, GeneralPreferencesPageWidget):
|
|
GeneralPreferencesPageWidget.setObjectName("GeneralPreferencesPageWidget")
|
|
GeneralPreferencesPageWidget.resize(556, 652)
|
|
self.verticalLayout = QtWidgets.QVBoxLayout(GeneralPreferencesPageWidget)
|
|
self.verticalLayout.setObjectName("verticalLayout")
|
|
self.uiMiscTabWidget = QtWidgets.QTabWidget(parent=GeneralPreferencesPageWidget)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.MinimumExpanding)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiMiscTabWidget.sizePolicy().hasHeightForWidth())
|
|
self.uiMiscTabWidget.setSizePolicy(sizePolicy)
|
|
self.uiMiscTabWidget.setObjectName("uiMiscTabWidget")
|
|
self.uiGeneralTab = QtWidgets.QWidget()
|
|
self.uiGeneralTab.setObjectName("uiGeneralTab")
|
|
self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.uiGeneralTab)
|
|
self.verticalLayout_4.setObjectName("verticalLayout_4")
|
|
self.uiLocalPathsGroupBox = QtWidgets.QGroupBox(parent=self.uiGeneralTab)
|
|
self.uiLocalPathsGroupBox.setObjectName("uiLocalPathsGroupBox")
|
|
self.gridLayout_4 = QtWidgets.QGridLayout(self.uiLocalPathsGroupBox)
|
|
self.gridLayout_4.setObjectName("gridLayout_4")
|
|
self.uiProjectsPathLabel = QtWidgets.QLabel(parent=self.uiLocalPathsGroupBox)
|
|
self.uiProjectsPathLabel.setObjectName("uiProjectsPathLabel")
|
|
self.gridLayout_4.addWidget(self.uiProjectsPathLabel, 0, 0, 1, 1)
|
|
self.uiProjectsPathLineEdit = QtWidgets.QLineEdit(parent=self.uiLocalPathsGroupBox)
|
|
self.uiProjectsPathLineEdit.setObjectName("uiProjectsPathLineEdit")
|
|
self.gridLayout_4.addWidget(self.uiProjectsPathLineEdit, 1, 0, 1, 1)
|
|
self.uiProjectsPathToolButton = QtWidgets.QToolButton(parent=self.uiLocalPathsGroupBox)
|
|
self.uiProjectsPathToolButton.setToolButtonStyle(QtCore.Qt.ToolButtonStyle.ToolButtonTextOnly)
|
|
self.uiProjectsPathToolButton.setObjectName("uiProjectsPathToolButton")
|
|
self.gridLayout_4.addWidget(self.uiProjectsPathToolButton, 1, 1, 1, 1)
|
|
self.label = QtWidgets.QLabel(parent=self.uiLocalPathsGroupBox)
|
|
self.label.setObjectName("label")
|
|
self.gridLayout_4.addWidget(self.label, 2, 0, 1, 1)
|
|
self.uiSymbolsPathLineEdit = QtWidgets.QLineEdit(parent=self.uiLocalPathsGroupBox)
|
|
self.uiSymbolsPathLineEdit.setObjectName("uiSymbolsPathLineEdit")
|
|
self.gridLayout_4.addWidget(self.uiSymbolsPathLineEdit, 3, 0, 1, 1)
|
|
self.uiSymbolsPathToolButton = QtWidgets.QToolButton(parent=self.uiLocalPathsGroupBox)
|
|
self.uiSymbolsPathToolButton.setObjectName("uiSymbolsPathToolButton")
|
|
self.gridLayout_4.addWidget(self.uiSymbolsPathToolButton, 3, 1, 1, 1)
|
|
self.uiConfigsPathLabel = QtWidgets.QLabel(parent=self.uiLocalPathsGroupBox)
|
|
self.uiConfigsPathLabel.setObjectName("uiConfigsPathLabel")
|
|
self.gridLayout_4.addWidget(self.uiConfigsPathLabel, 4, 0, 1, 1)
|
|
self.uiConfigsPathLineEdit = QtWidgets.QLineEdit(parent=self.uiLocalPathsGroupBox)
|
|
self.uiConfigsPathLineEdit.setObjectName("uiConfigsPathLineEdit")
|
|
self.gridLayout_4.addWidget(self.uiConfigsPathLineEdit, 5, 0, 1, 1)
|
|
self.uiConfigsPathToolButton = QtWidgets.QToolButton(parent=self.uiLocalPathsGroupBox)
|
|
self.uiConfigsPathToolButton.setToolButtonStyle(QtCore.Qt.ToolButtonStyle.ToolButtonTextOnly)
|
|
self.uiConfigsPathToolButton.setObjectName("uiConfigsPathToolButton")
|
|
self.gridLayout_4.addWidget(self.uiConfigsPathToolButton, 5, 1, 1, 1)
|
|
self.label_3 = QtWidgets.QLabel(parent=self.uiLocalPathsGroupBox)
|
|
self.label_3.setObjectName("label_3")
|
|
self.gridLayout_4.addWidget(self.label_3, 6, 0, 1, 2)
|
|
self.uiAppliancesPathLineEdit = QtWidgets.QLineEdit(parent=self.uiLocalPathsGroupBox)
|
|
self.uiAppliancesPathLineEdit.setObjectName("uiAppliancesPathLineEdit")
|
|
self.gridLayout_4.addWidget(self.uiAppliancesPathLineEdit, 7, 0, 1, 1)
|
|
self.uiAppliancesPathToolButton = QtWidgets.QToolButton(parent=self.uiLocalPathsGroupBox)
|
|
self.uiAppliancesPathToolButton.setObjectName("uiAppliancesPathToolButton")
|
|
self.gridLayout_4.addWidget(self.uiAppliancesPathToolButton, 7, 1, 1, 1)
|
|
self.verticalLayout_4.addWidget(self.uiLocalPathsGroupBox)
|
|
self.uiStyleGroupBox = QtWidgets.QGroupBox(parent=self.uiGeneralTab)
|
|
self.uiStyleGroupBox.setObjectName("uiStyleGroupBox")
|
|
self.horizontalLayout_11 = QtWidgets.QHBoxLayout(self.uiStyleGroupBox)
|
|
self.horizontalLayout_11.setObjectName("horizontalLayout_11")
|
|
self.uiStyleComboBox = QtWidgets.QComboBox(parent=self.uiStyleGroupBox)
|
|
self.uiStyleComboBox.setObjectName("uiStyleComboBox")
|
|
self.horizontalLayout_11.addWidget(self.uiStyleComboBox)
|
|
self.verticalLayout_4.addWidget(self.uiStyleGroupBox)
|
|
self.uiSymbolThemeGroupBox = QtWidgets.QGroupBox(parent=self.uiGeneralTab)
|
|
self.uiSymbolThemeGroupBox.setObjectName("uiSymbolThemeGroupBox")
|
|
self.horizontalLayout_15 = QtWidgets.QHBoxLayout(self.uiSymbolThemeGroupBox)
|
|
self.horizontalLayout_15.setObjectName("horizontalLayout_15")
|
|
self.uiSymbolThemeComboBox = QtWidgets.QComboBox(parent=self.uiSymbolThemeGroupBox)
|
|
self.uiSymbolThemeComboBox.setObjectName("uiSymbolThemeComboBox")
|
|
self.horizontalLayout_15.addWidget(self.uiSymbolThemeComboBox)
|
|
self.verticalLayout_4.addWidget(self.uiSymbolThemeGroupBox)
|
|
self.uiConfigurationFileGroupBox = QtWidgets.QGroupBox(parent=self.uiGeneralTab)
|
|
self.uiConfigurationFileGroupBox.setObjectName("uiConfigurationFileGroupBox")
|
|
self.gridLayout = QtWidgets.QGridLayout(self.uiConfigurationFileGroupBox)
|
|
self.gridLayout.setObjectName("gridLayout")
|
|
self.horizontalLayout = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout.setObjectName("horizontalLayout")
|
|
self.uiImportConfigurationFilePushButton = QtWidgets.QPushButton(parent=self.uiConfigurationFileGroupBox)
|
|
self.uiImportConfigurationFilePushButton.setObjectName("uiImportConfigurationFilePushButton")
|
|
self.horizontalLayout.addWidget(self.uiImportConfigurationFilePushButton)
|
|
self.uiExportConfigurationFilePushButton = QtWidgets.QPushButton(parent=self.uiConfigurationFileGroupBox)
|
|
self.uiExportConfigurationFilePushButton.setObjectName("uiExportConfigurationFilePushButton")
|
|
self.horizontalLayout.addWidget(self.uiExportConfigurationFilePushButton)
|
|
self.uiBrowseConfigurationPushButton = QtWidgets.QPushButton(parent=self.uiConfigurationFileGroupBox)
|
|
self.uiBrowseConfigurationPushButton.setObjectName("uiBrowseConfigurationPushButton")
|
|
self.horizontalLayout.addWidget(self.uiBrowseConfigurationPushButton)
|
|
spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
|
|
self.horizontalLayout.addItem(spacerItem)
|
|
self.gridLayout.addLayout(self.horizontalLayout, 1, 0, 1, 1)
|
|
self.uiConfigurationFileLabel = QtWidgets.QLabel(parent=self.uiConfigurationFileGroupBox)
|
|
self.uiConfigurationFileLabel.setObjectName("uiConfigurationFileLabel")
|
|
self.gridLayout.addWidget(self.uiConfigurationFileLabel, 0, 0, 1, 1)
|
|
self.verticalLayout_4.addWidget(self.uiConfigurationFileGroupBox)
|
|
spacerItem1 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.verticalLayout_4.addItem(spacerItem1)
|
|
self.uiMiscTabWidget.addTab(self.uiGeneralTab, "")
|
|
self.uiImagesTab = QtWidgets.QWidget()
|
|
self.uiImagesTab.setObjectName("uiImagesTab")
|
|
self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.uiImagesTab)
|
|
self.verticalLayout_7.setContentsMargins(10, 10, 10, 10)
|
|
self.verticalLayout_7.setObjectName("verticalLayout_7")
|
|
self.uiLocalBinaryImagePathsGroupBox = QtWidgets.QGroupBox(parent=self.uiImagesTab)
|
|
self.uiLocalBinaryImagePathsGroupBox.setObjectName("uiLocalBinaryImagePathsGroupBox")
|
|
self.verticalLayout_10 = QtWidgets.QVBoxLayout(self.uiLocalBinaryImagePathsGroupBox)
|
|
self.verticalLayout_10.setObjectName("verticalLayout_10")
|
|
self.uiImagesPathLabel = QtWidgets.QLabel(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
self.uiImagesPathLabel.setObjectName("uiImagesPathLabel")
|
|
self.verticalLayout_10.addWidget(self.uiImagesPathLabel)
|
|
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
|
|
self.uiImagesPathLineEdit = QtWidgets.QLineEdit(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiImagesPathLineEdit.sizePolicy().hasHeightForWidth())
|
|
self.uiImagesPathLineEdit.setSizePolicy(sizePolicy)
|
|
self.uiImagesPathLineEdit.setObjectName("uiImagesPathLineEdit")
|
|
self.horizontalLayout_4.addWidget(self.uiImagesPathLineEdit)
|
|
self.uiImagesPathToolButton = QtWidgets.QToolButton(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
self.uiImagesPathToolButton.setToolButtonStyle(QtCore.Qt.ToolButtonStyle.ToolButtonTextOnly)
|
|
self.uiImagesPathToolButton.setObjectName("uiImagesPathToolButton")
|
|
self.horizontalLayout_4.addWidget(self.uiImagesPathToolButton)
|
|
self.verticalLayout_10.addLayout(self.horizontalLayout_4)
|
|
self.uiImageDirectoriesLabel = QtWidgets.QLabel(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
self.uiImageDirectoriesLabel.setObjectName("uiImageDirectoriesLabel")
|
|
self.verticalLayout_10.addWidget(self.uiImageDirectoriesLabel)
|
|
self.uiImageDirectoriesListWidget = QtWidgets.QListWidget(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
self.uiImageDirectoriesListWidget.setFocusPolicy(QtCore.Qt.FocusPolicy.ClickFocus)
|
|
self.uiImageDirectoriesListWidget.setLineWidth(0)
|
|
self.uiImageDirectoriesListWidget.setEditTriggers(QtWidgets.QAbstractItemView.EditTrigger.NoEditTriggers)
|
|
self.uiImageDirectoriesListWidget.setAlternatingRowColors(False)
|
|
self.uiImageDirectoriesListWidget.setSelectionMode(QtWidgets.QAbstractItemView.SelectionMode.SingleSelection)
|
|
self.uiImageDirectoriesListWidget.setSelectionBehavior(QtWidgets.QAbstractItemView.SelectionBehavior.SelectItems)
|
|
self.uiImageDirectoriesListWidget.setProperty("isWrapping", False)
|
|
self.uiImageDirectoriesListWidget.setResizeMode(QtWidgets.QListView.ResizeMode.Adjust)
|
|
self.uiImageDirectoriesListWidget.setLayoutMode(QtWidgets.QListView.LayoutMode.Batched)
|
|
self.uiImageDirectoriesListWidget.setGridSize(QtCore.QSize(0, 18))
|
|
self.uiImageDirectoriesListWidget.setViewMode(QtWidgets.QListView.ViewMode.ListMode)
|
|
self.uiImageDirectoriesListWidget.setUniformItemSizes(False)
|
|
self.uiImageDirectoriesListWidget.setSelectionRectVisible(True)
|
|
self.uiImageDirectoriesListWidget.setObjectName("uiImageDirectoriesListWidget")
|
|
self.verticalLayout_10.addWidget(self.uiImageDirectoriesListWidget)
|
|
self.horizontalLayout_13 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_13.setObjectName("horizontalLayout_13")
|
|
self.uiImageDirectoriesAddPushButton = QtWidgets.QPushButton(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
self.uiImageDirectoriesAddPushButton.setObjectName("uiImageDirectoriesAddPushButton")
|
|
self.horizontalLayout_13.addWidget(self.uiImageDirectoriesAddPushButton)
|
|
self.uiImageDirectoriesDeletePushButton = QtWidgets.QPushButton(parent=self.uiLocalBinaryImagePathsGroupBox)
|
|
self.uiImageDirectoriesDeletePushButton.setObjectName("uiImageDirectoriesDeletePushButton")
|
|
self.horizontalLayout_13.addWidget(self.uiImageDirectoriesDeletePushButton)
|
|
spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
|
|
self.horizontalLayout_13.addItem(spacerItem2)
|
|
self.verticalLayout_10.addLayout(self.horizontalLayout_13)
|
|
self.verticalLayout_7.addWidget(self.uiLocalBinaryImagePathsGroupBox)
|
|
spacerItem3 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.verticalLayout_7.addItem(spacerItem3)
|
|
self.uiMiscTabWidget.addTab(self.uiImagesTab, "")
|
|
self.uiConsoleTab = QtWidgets.QWidget()
|
|
self.uiConsoleTab.setObjectName("uiConsoleTab")
|
|
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.uiConsoleTab)
|
|
self.verticalLayout_3.setContentsMargins(10, 10, 10, 10)
|
|
self.verticalLayout_3.setObjectName("verticalLayout_3")
|
|
self.uiTelnetConsoleSettingsGroupBox = QtWidgets.QGroupBox(parent=self.uiConsoleTab)
|
|
self.uiTelnetConsoleSettingsGroupBox.setObjectName("uiTelnetConsoleSettingsGroupBox")
|
|
self.verticalLayout_9 = QtWidgets.QVBoxLayout(self.uiTelnetConsoleSettingsGroupBox)
|
|
self.verticalLayout_9.setObjectName("verticalLayout_9")
|
|
self.uiTelnetConsoleCommandLabel = QtWidgets.QLabel(parent=self.uiTelnetConsoleSettingsGroupBox)
|
|
self.uiTelnetConsoleCommandLabel.setObjectName("uiTelnetConsoleCommandLabel")
|
|
self.verticalLayout_9.addWidget(self.uiTelnetConsoleCommandLabel)
|
|
self.horizontalLayout_9 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_9.setObjectName("horizontalLayout_9")
|
|
self.uiTelnetConsoleCommandLineEdit = QtWidgets.QLineEdit(parent=self.uiTelnetConsoleSettingsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiTelnetConsoleCommandLineEdit.sizePolicy().hasHeightForWidth())
|
|
self.uiTelnetConsoleCommandLineEdit.setSizePolicy(sizePolicy)
|
|
self.uiTelnetConsoleCommandLineEdit.setReadOnly(True)
|
|
self.uiTelnetConsoleCommandLineEdit.setObjectName("uiTelnetConsoleCommandLineEdit")
|
|
self.horizontalLayout_9.addWidget(self.uiTelnetConsoleCommandLineEdit)
|
|
self.uiTelnetConsolePreconfiguredCommandPushButton = QtWidgets.QPushButton(parent=self.uiTelnetConsoleSettingsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Maximum, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiTelnetConsolePreconfiguredCommandPushButton.sizePolicy().hasHeightForWidth())
|
|
self.uiTelnetConsolePreconfiguredCommandPushButton.setSizePolicy(sizePolicy)
|
|
self.uiTelnetConsolePreconfiguredCommandPushButton.setObjectName("uiTelnetConsolePreconfiguredCommandPushButton")
|
|
self.horizontalLayout_9.addWidget(self.uiTelnetConsolePreconfiguredCommandPushButton)
|
|
self.verticalLayout_9.addLayout(self.horizontalLayout_9)
|
|
self.verticalLayout_3.addWidget(self.uiTelnetConsoleSettingsGroupBox)
|
|
self.uiConsoleMiscGroupBox = QtWidgets.QGroupBox(parent=self.uiConsoleTab)
|
|
self.uiConsoleMiscGroupBox.setObjectName("uiConsoleMiscGroupBox")
|
|
self.gridLayout_7 = QtWidgets.QGridLayout(self.uiConsoleMiscGroupBox)
|
|
self.gridLayout_7.setObjectName("gridLayout_7")
|
|
self.uiDelayConsoleAllSpinBox = QtWidgets.QSpinBox(parent=self.uiConsoleMiscGroupBox)
|
|
self.uiDelayConsoleAllSpinBox.setMaximum(10000)
|
|
self.uiDelayConsoleAllSpinBox.setProperty("value", 500)
|
|
self.uiDelayConsoleAllSpinBox.setObjectName("uiDelayConsoleAllSpinBox")
|
|
self.gridLayout_7.addWidget(self.uiDelayConsoleAllSpinBox, 1, 0, 1, 1)
|
|
self.uiSlowConsoleAllLabel = QtWidgets.QLabel(parent=self.uiConsoleMiscGroupBox)
|
|
self.uiSlowConsoleAllLabel.setObjectName("uiSlowConsoleAllLabel")
|
|
self.gridLayout_7.addWidget(self.uiSlowConsoleAllLabel, 0, 0, 1, 1)
|
|
self.verticalLayout_3.addWidget(self.uiConsoleMiscGroupBox)
|
|
spacerItem4 = QtWidgets.QSpacerItem(20, 5, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.verticalLayout_3.addItem(spacerItem4)
|
|
self.uiMiscTabWidget.addTab(self.uiConsoleTab, "")
|
|
self.uiVNCTab = QtWidgets.QWidget()
|
|
self.uiVNCTab.setObjectName("uiVNCTab")
|
|
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.uiVNCTab)
|
|
self.verticalLayout_6.setContentsMargins(10, 10, 10, 10)
|
|
self.verticalLayout_6.setObjectName("verticalLayout_6")
|
|
self.uiVNCConsoleSettingsGroupBox = QtWidgets.QGroupBox(parent=self.uiVNCTab)
|
|
self.uiVNCConsoleSettingsGroupBox.setObjectName("uiVNCConsoleSettingsGroupBox")
|
|
self.verticalLayout_8 = QtWidgets.QVBoxLayout(self.uiVNCConsoleSettingsGroupBox)
|
|
self.verticalLayout_8.setObjectName("verticalLayout_8")
|
|
self.uiVNCConsoleCommandLabel = QtWidgets.QLabel(parent=self.uiVNCConsoleSettingsGroupBox)
|
|
self.uiVNCConsoleCommandLabel.setObjectName("uiVNCConsoleCommandLabel")
|
|
self.verticalLayout_8.addWidget(self.uiVNCConsoleCommandLabel)
|
|
self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_8.setObjectName("horizontalLayout_8")
|
|
self.uiVNCConsoleCommandLineEdit = QtWidgets.QLineEdit(parent=self.uiVNCConsoleSettingsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiVNCConsoleCommandLineEdit.sizePolicy().hasHeightForWidth())
|
|
self.uiVNCConsoleCommandLineEdit.setSizePolicy(sizePolicy)
|
|
self.uiVNCConsoleCommandLineEdit.setReadOnly(True)
|
|
self.uiVNCConsoleCommandLineEdit.setObjectName("uiVNCConsoleCommandLineEdit")
|
|
self.horizontalLayout_8.addWidget(self.uiVNCConsoleCommandLineEdit)
|
|
self.uiVNCConsolePreconfiguredCommandPushButton = QtWidgets.QPushButton(parent=self.uiVNCConsoleSettingsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Maximum, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiVNCConsolePreconfiguredCommandPushButton.sizePolicy().hasHeightForWidth())
|
|
self.uiVNCConsolePreconfiguredCommandPushButton.setSizePolicy(sizePolicy)
|
|
self.uiVNCConsolePreconfiguredCommandPushButton.setObjectName("uiVNCConsolePreconfiguredCommandPushButton")
|
|
self.horizontalLayout_8.addWidget(self.uiVNCConsolePreconfiguredCommandPushButton)
|
|
self.verticalLayout_8.addLayout(self.horizontalLayout_8)
|
|
spacerItem5 = QtWidgets.QSpacerItem(20, 5, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.verticalLayout_8.addItem(spacerItem5)
|
|
self.verticalLayout_6.addWidget(self.uiVNCConsoleSettingsGroupBox)
|
|
self.uiMiscTabWidget.addTab(self.uiVNCTab, "")
|
|
self.uiSPICETab = QtWidgets.QWidget()
|
|
self.uiSPICETab.setObjectName("uiSPICETab")
|
|
self.gridLayout_2 = QtWidgets.QGridLayout(self.uiSPICETab)
|
|
self.gridLayout_2.setObjectName("gridLayout_2")
|
|
self.uiSPICEConsoleSettingsGroupBox = QtWidgets.QGroupBox(parent=self.uiSPICETab)
|
|
self.uiSPICEConsoleSettingsGroupBox.setObjectName("uiSPICEConsoleSettingsGroupBox")
|
|
self.verticalLayout_11 = QtWidgets.QVBoxLayout(self.uiSPICEConsoleSettingsGroupBox)
|
|
self.verticalLayout_11.setObjectName("verticalLayout_11")
|
|
self.uiSPICEConsoleCommandLabel = QtWidgets.QLabel(parent=self.uiSPICEConsoleSettingsGroupBox)
|
|
self.uiSPICEConsoleCommandLabel.setObjectName("uiSPICEConsoleCommandLabel")
|
|
self.verticalLayout_11.addWidget(self.uiSPICEConsoleCommandLabel)
|
|
self.horizontalLayout_10 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_10.setObjectName("horizontalLayout_10")
|
|
self.uiSPICEConsoleCommandLineEdit = QtWidgets.QLineEdit(parent=self.uiSPICEConsoleSettingsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiSPICEConsoleCommandLineEdit.sizePolicy().hasHeightForWidth())
|
|
self.uiSPICEConsoleCommandLineEdit.setSizePolicy(sizePolicy)
|
|
self.uiSPICEConsoleCommandLineEdit.setReadOnly(True)
|
|
self.uiSPICEConsoleCommandLineEdit.setObjectName("uiSPICEConsoleCommandLineEdit")
|
|
self.horizontalLayout_10.addWidget(self.uiSPICEConsoleCommandLineEdit)
|
|
self.uiSPICEConsolePreconfiguredCommandPushButton = QtWidgets.QPushButton(parent=self.uiSPICEConsoleSettingsGroupBox)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Maximum, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiSPICEConsolePreconfiguredCommandPushButton.sizePolicy().hasHeightForWidth())
|
|
self.uiSPICEConsolePreconfiguredCommandPushButton.setSizePolicy(sizePolicy)
|
|
self.uiSPICEConsolePreconfiguredCommandPushButton.setObjectName("uiSPICEConsolePreconfiguredCommandPushButton")
|
|
self.horizontalLayout_10.addWidget(self.uiSPICEConsolePreconfiguredCommandPushButton)
|
|
self.verticalLayout_11.addLayout(self.horizontalLayout_10)
|
|
spacerItem6 = QtWidgets.QSpacerItem(20, 5, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.verticalLayout_11.addItem(spacerItem6)
|
|
self.gridLayout_2.addWidget(self.uiSPICEConsoleSettingsGroupBox, 0, 0, 1, 1)
|
|
self.uiMiscTabWidget.addTab(self.uiSPICETab, "")
|
|
self.uiSceneTab = QtWidgets.QWidget()
|
|
self.uiSceneTab.setObjectName("uiSceneTab")
|
|
self.gridLayout_6 = QtWidgets.QGridLayout(self.uiSceneTab)
|
|
self.gridLayout_6.setObjectName("gridLayout_6")
|
|
self.uiDrawingGridSizeLabel = QtWidgets.QLabel(parent=self.uiSceneTab)
|
|
self.uiDrawingGridSizeLabel.setObjectName("uiDrawingGridSizeLabel")
|
|
self.gridLayout_6.addWidget(self.uiDrawingGridSizeLabel, 3, 0, 1, 1)
|
|
self.uiNodeGridSizeLabel = QtWidgets.QLabel(parent=self.uiSceneTab)
|
|
self.uiNodeGridSizeLabel.setObjectName("uiNodeGridSizeLabel")
|
|
self.gridLayout_6.addWidget(self.uiNodeGridSizeLabel, 2, 0, 1, 1)
|
|
self.uiNodeGridSizeSpinBox = QtWidgets.QSpinBox(parent=self.uiSceneTab)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiNodeGridSizeSpinBox.sizePolicy().hasHeightForWidth())
|
|
self.uiNodeGridSizeSpinBox.setSizePolicy(sizePolicy)
|
|
self.uiNodeGridSizeSpinBox.setFocusPolicy(QtCore.Qt.FocusPolicy.StrongFocus)
|
|
self.uiNodeGridSizeSpinBox.setMinimum(5)
|
|
self.uiNodeGridSizeSpinBox.setMaximum(150)
|
|
self.uiNodeGridSizeSpinBox.setSingleStep(5)
|
|
self.uiNodeGridSizeSpinBox.setProperty("value", 75)
|
|
self.uiNodeGridSizeSpinBox.setObjectName("uiNodeGridSizeSpinBox")
|
|
self.gridLayout_6.addWidget(self.uiNodeGridSizeSpinBox, 2, 1, 1, 1)
|
|
self.uiSceneHeightLabel = QtWidgets.QLabel(parent=self.uiSceneTab)
|
|
self.uiSceneHeightLabel.setObjectName("uiSceneHeightLabel")
|
|
self.gridLayout_6.addWidget(self.uiSceneHeightLabel, 1, 0, 1, 1)
|
|
self.toolBox = QtWidgets.QToolBox(parent=self.uiSceneTab)
|
|
self.toolBox.setObjectName("toolBox")
|
|
self.page = QtWidgets.QWidget()
|
|
self.page.setGeometry(QtCore.QRect(0, 0, 472, 101))
|
|
self.page.setObjectName("page")
|
|
self.gridLayout_3 = QtWidgets.QGridLayout(self.page)
|
|
self.gridLayout_3.setObjectName("gridLayout_3")
|
|
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
|
|
self.uiDefaultLabelFontPushButton = QtWidgets.QPushButton(parent=self.page)
|
|
self.uiDefaultLabelFontPushButton.setObjectName("uiDefaultLabelFontPushButton")
|
|
self.horizontalLayout_5.addWidget(self.uiDefaultLabelFontPushButton)
|
|
self.uiDefaultLabelColorPushButton = QtWidgets.QPushButton(parent=self.page)
|
|
self.uiDefaultLabelColorPushButton.setObjectName("uiDefaultLabelColorPushButton")
|
|
self.horizontalLayout_5.addWidget(self.uiDefaultLabelColorPushButton)
|
|
spacerItem7 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
|
|
self.horizontalLayout_5.addItem(spacerItem7)
|
|
self.gridLayout_3.addLayout(self.horizontalLayout_5, 1, 0, 1, 1)
|
|
self.uiDefaultLabelStylePlainTextEdit = QtWidgets.QPlainTextEdit(parent=self.page)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiDefaultLabelStylePlainTextEdit.sizePolicy().hasHeightForWidth())
|
|
self.uiDefaultLabelStylePlainTextEdit.setSizePolicy(sizePolicy)
|
|
self.uiDefaultLabelStylePlainTextEdit.setMaximumSize(QtCore.QSize(16777215, 50))
|
|
self.uiDefaultLabelStylePlainTextEdit.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus)
|
|
self.uiDefaultLabelStylePlainTextEdit.setReadOnly(True)
|
|
self.uiDefaultLabelStylePlainTextEdit.setObjectName("uiDefaultLabelStylePlainTextEdit")
|
|
self.gridLayout_3.addWidget(self.uiDefaultLabelStylePlainTextEdit, 0, 0, 1, 1)
|
|
self.toolBox.addItem(self.page, "")
|
|
self.page_2 = QtWidgets.QWidget()
|
|
self.page_2.setGeometry(QtCore.QRect(0, 0, 309, 101))
|
|
self.page_2.setObjectName("page_2")
|
|
self.gridLayout_5 = QtWidgets.QGridLayout(self.page_2)
|
|
self.gridLayout_5.setObjectName("gridLayout_5")
|
|
self.uiDefaultNoteStylePlainTextEdit = QtWidgets.QPlainTextEdit(parent=self.page_2)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.MinimumExpanding, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiDefaultNoteStylePlainTextEdit.sizePolicy().hasHeightForWidth())
|
|
self.uiDefaultNoteStylePlainTextEdit.setSizePolicy(sizePolicy)
|
|
self.uiDefaultNoteStylePlainTextEdit.setMaximumSize(QtCore.QSize(16777215, 50))
|
|
self.uiDefaultNoteStylePlainTextEdit.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus)
|
|
self.uiDefaultNoteStylePlainTextEdit.setReadOnly(True)
|
|
self.uiDefaultNoteStylePlainTextEdit.setObjectName("uiDefaultNoteStylePlainTextEdit")
|
|
self.gridLayout_5.addWidget(self.uiDefaultNoteStylePlainTextEdit, 0, 0, 1, 1)
|
|
self.horizontalLayout_14 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_14.setObjectName("horizontalLayout_14")
|
|
self.uiDefaultNoteFontPushButton = QtWidgets.QPushButton(parent=self.page_2)
|
|
self.uiDefaultNoteFontPushButton.setObjectName("uiDefaultNoteFontPushButton")
|
|
self.horizontalLayout_14.addWidget(self.uiDefaultNoteFontPushButton)
|
|
self.uiDefaultNoteColorPushButton = QtWidgets.QPushButton(parent=self.page_2)
|
|
self.uiDefaultNoteColorPushButton.setObjectName("uiDefaultNoteColorPushButton")
|
|
self.horizontalLayout_14.addWidget(self.uiDefaultNoteColorPushButton)
|
|
spacerItem8 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
|
|
self.horizontalLayout_14.addItem(spacerItem8)
|
|
self.gridLayout_5.addLayout(self.horizontalLayout_14, 1, 0, 1, 1)
|
|
self.toolBox.addItem(self.page_2, "")
|
|
self.page_3 = QtWidgets.QWidget()
|
|
self.page_3.setGeometry(QtCore.QRect(0, 0, 472, 106))
|
|
self.page_3.setObjectName("page_3")
|
|
self.formLayout = QtWidgets.QFormLayout(self.page_3)
|
|
self.formLayout.setObjectName("formLayout")
|
|
self.uiDefaultLinkColorLabel = QtWidgets.QLabel(parent=self.page_3)
|
|
self.uiDefaultLinkColorLabel.setObjectName("uiDefaultLinkColorLabel")
|
|
self.formLayout.setWidget(0, QtWidgets.QFormLayout.ItemRole.LabelRole, self.uiDefaultLinkColorLabel)
|
|
self.uiDefaultLinkColorPushButton = QtWidgets.QPushButton(parent=self.page_3)
|
|
self.uiDefaultLinkColorPushButton.setText("")
|
|
self.uiDefaultLinkColorPushButton.setObjectName("uiDefaultLinkColorPushButton")
|
|
self.formLayout.setWidget(0, QtWidgets.QFormLayout.ItemRole.FieldRole, self.uiDefaultLinkColorPushButton)
|
|
self.uiDefaultLinkWidthLabel = QtWidgets.QLabel(parent=self.page_3)
|
|
self.uiDefaultLinkWidthLabel.setObjectName("uiDefaultLinkWidthLabel")
|
|
self.formLayout.setWidget(1, QtWidgets.QFormLayout.ItemRole.LabelRole, self.uiDefaultLinkWidthLabel)
|
|
self.uiDefaultLinkWidthSpinBox = QtWidgets.QSpinBox(parent=self.page_3)
|
|
self.uiDefaultLinkWidthSpinBox.setMinimum(1)
|
|
self.uiDefaultLinkWidthSpinBox.setMaximum(100)
|
|
self.uiDefaultLinkWidthSpinBox.setProperty("value", 2)
|
|
self.uiDefaultLinkWidthSpinBox.setObjectName("uiDefaultLinkWidthSpinBox")
|
|
self.formLayout.setWidget(1, QtWidgets.QFormLayout.ItemRole.FieldRole, self.uiDefaultLinkWidthSpinBox)
|
|
self.uiDefaultLinkStyleLabel = QtWidgets.QLabel(parent=self.page_3)
|
|
self.uiDefaultLinkStyleLabel.setObjectName("uiDefaultLinkStyleLabel")
|
|
self.formLayout.setWidget(2, QtWidgets.QFormLayout.ItemRole.LabelRole, self.uiDefaultLinkStyleLabel)
|
|
self.uiDefaultLinkStyleComboBox = QtWidgets.QComboBox(parent=self.page_3)
|
|
self.uiDefaultLinkStyleComboBox.setObjectName("uiDefaultLinkStyleComboBox")
|
|
self.formLayout.setWidget(2, QtWidgets.QFormLayout.ItemRole.FieldRole, self.uiDefaultLinkStyleComboBox)
|
|
self.toolBox.addItem(self.page_3, "")
|
|
self.gridLayout_6.addWidget(self.toolBox, 10, 0, 1, 2)
|
|
self.uiSceneWidthSpinBox = QtWidgets.QSpinBox(parent=self.uiSceneTab)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiSceneWidthSpinBox.sizePolicy().hasHeightForWidth())
|
|
self.uiSceneWidthSpinBox.setSizePolicy(sizePolicy)
|
|
self.uiSceneWidthSpinBox.setFocusPolicy(QtCore.Qt.FocusPolicy.StrongFocus)
|
|
self.uiSceneWidthSpinBox.setMinimum(500)
|
|
self.uiSceneWidthSpinBox.setMaximum(1000000)
|
|
self.uiSceneWidthSpinBox.setSingleStep(100)
|
|
self.uiSceneWidthSpinBox.setProperty("value", 2000)
|
|
self.uiSceneWidthSpinBox.setObjectName("uiSceneWidthSpinBox")
|
|
self.gridLayout_6.addWidget(self.uiSceneWidthSpinBox, 0, 1, 1, 1)
|
|
self.uiDrawingGridSizeSpinBox = QtWidgets.QSpinBox(parent=self.uiSceneTab)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiDrawingGridSizeSpinBox.sizePolicy().hasHeightForWidth())
|
|
self.uiDrawingGridSizeSpinBox.setSizePolicy(sizePolicy)
|
|
self.uiDrawingGridSizeSpinBox.setFocusPolicy(QtCore.Qt.FocusPolicy.StrongFocus)
|
|
self.uiDrawingGridSizeSpinBox.setMinimum(5)
|
|
self.uiDrawingGridSizeSpinBox.setMaximum(100)
|
|
self.uiDrawingGridSizeSpinBox.setSingleStep(5)
|
|
self.uiDrawingGridSizeSpinBox.setProperty("value", 25)
|
|
self.uiDrawingGridSizeSpinBox.setObjectName("uiDrawingGridSizeSpinBox")
|
|
self.gridLayout_6.addWidget(self.uiDrawingGridSizeSpinBox, 3, 1, 1, 1)
|
|
self.uiSceneWidthLabel = QtWidgets.QLabel(parent=self.uiSceneTab)
|
|
self.uiSceneWidthLabel.setObjectName("uiSceneWidthLabel")
|
|
self.gridLayout_6.addWidget(self.uiSceneWidthLabel, 0, 0, 1, 1)
|
|
self.uiDrawLinkStatusPointsCheckBox = QtWidgets.QCheckBox(parent=self.uiSceneTab)
|
|
self.uiDrawLinkStatusPointsCheckBox.setChecked(True)
|
|
self.uiDrawLinkStatusPointsCheckBox.setObjectName("uiDrawLinkStatusPointsCheckBox")
|
|
self.gridLayout_6.addWidget(self.uiDrawLinkStatusPointsCheckBox, 5, 0, 1, 1)
|
|
self.uiShowInterfaceLabelsOnNewProject = QtWidgets.QCheckBox(parent=self.uiSceneTab)
|
|
self.uiShowInterfaceLabelsOnNewProject.setObjectName("uiShowInterfaceLabelsOnNewProject")
|
|
self.gridLayout_6.addWidget(self.uiShowInterfaceLabelsOnNewProject, 6, 0, 1, 2)
|
|
self.uiShowGridOnNewProject = QtWidgets.QCheckBox(parent=self.uiSceneTab)
|
|
self.uiShowGridOnNewProject.setObjectName("uiShowGridOnNewProject")
|
|
self.gridLayout_6.addWidget(self.uiShowGridOnNewProject, 7, 0, 1, 1)
|
|
self.uiSceneHeightSpinBox = QtWidgets.QSpinBox(parent=self.uiSceneTab)
|
|
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
|
|
sizePolicy.setHorizontalStretch(0)
|
|
sizePolicy.setVerticalStretch(0)
|
|
sizePolicy.setHeightForWidth(self.uiSceneHeightSpinBox.sizePolicy().hasHeightForWidth())
|
|
self.uiSceneHeightSpinBox.setSizePolicy(sizePolicy)
|
|
self.uiSceneHeightSpinBox.setFocusPolicy(QtCore.Qt.FocusPolicy.StrongFocus)
|
|
self.uiSceneHeightSpinBox.setMinimum(500)
|
|
self.uiSceneHeightSpinBox.setMaximum(1000000)
|
|
self.uiSceneHeightSpinBox.setSingleStep(100)
|
|
self.uiSceneHeightSpinBox.setProperty("value", 1000)
|
|
self.uiSceneHeightSpinBox.setObjectName("uiSceneHeightSpinBox")
|
|
self.gridLayout_6.addWidget(self.uiSceneHeightSpinBox, 1, 1, 1, 1)
|
|
self.uiRectangleSelectedItemCheckBox = QtWidgets.QCheckBox(parent=self.uiSceneTab)
|
|
self.uiRectangleSelectedItemCheckBox.setChecked(True)
|
|
self.uiRectangleSelectedItemCheckBox.setObjectName("uiRectangleSelectedItemCheckBox")
|
|
self.gridLayout_6.addWidget(self.uiRectangleSelectedItemCheckBox, 4, 0, 1, 2)
|
|
spacerItem9 = QtWidgets.QSpacerItem(20, 5, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.gridLayout_6.addItem(spacerItem9, 13, 0, 1, 1)
|
|
self.uiLimitSizeNodeSymbolCheckBox = QtWidgets.QCheckBox(parent=self.uiSceneTab)
|
|
self.uiLimitSizeNodeSymbolCheckBox.setObjectName("uiLimitSizeNodeSymbolCheckBox")
|
|
self.gridLayout_6.addWidget(self.uiLimitSizeNodeSymbolCheckBox, 9, 0, 1, 2)
|
|
self.uiSnapToGridOnNewProject = QtWidgets.QCheckBox(parent=self.uiSceneTab)
|
|
self.uiSnapToGridOnNewProject.setObjectName("uiSnapToGridOnNewProject")
|
|
self.gridLayout_6.addWidget(self.uiSnapToGridOnNewProject, 8, 0, 1, 2)
|
|
spacerItem10 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.gridLayout_6.addItem(spacerItem10, 11, 0, 1, 1)
|
|
self.uiMiscTabWidget.addTab(self.uiSceneTab, "")
|
|
self.uiMiscTab = QtWidgets.QWidget()
|
|
self.uiMiscTab.setObjectName("uiMiscTab")
|
|
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.uiMiscTab)
|
|
self.verticalLayout_2.setContentsMargins(10, 10, 10, 10)
|
|
self.verticalLayout_2.setObjectName("verticalLayout_2")
|
|
self.uiCheckForUpdateCheckBox = QtWidgets.QCheckBox(parent=self.uiMiscTab)
|
|
self.uiCheckForUpdateCheckBox.setChecked(True)
|
|
self.uiCheckForUpdateCheckBox.setObjectName("uiCheckForUpdateCheckBox")
|
|
self.verticalLayout_2.addWidget(self.uiCheckForUpdateCheckBox)
|
|
self.uiCrashReportCheckBox = QtWidgets.QCheckBox(parent=self.uiMiscTab)
|
|
self.uiCrashReportCheckBox.setChecked(True)
|
|
self.uiCrashReportCheckBox.setObjectName("uiCrashReportCheckBox")
|
|
self.verticalLayout_2.addWidget(self.uiCrashReportCheckBox)
|
|
self.uiOverlayNotificationsCheckBox = QtWidgets.QCheckBox(parent=self.uiMiscTab)
|
|
self.uiOverlayNotificationsCheckBox.setObjectName("uiOverlayNotificationsCheckBox")
|
|
self.verticalLayout_2.addWidget(self.uiOverlayNotificationsCheckBox)
|
|
self.uiExperimentalFeaturesCheckBox = QtWidgets.QCheckBox(parent=self.uiMiscTab)
|
|
self.uiExperimentalFeaturesCheckBox.setObjectName("uiExperimentalFeaturesCheckBox")
|
|
self.verticalLayout_2.addWidget(self.uiExperimentalFeaturesCheckBox)
|
|
self.uiMultiProfilesCheckBox = QtWidgets.QCheckBox(parent=self.uiMiscTab)
|
|
self.uiMultiProfilesCheckBox.setObjectName("uiMultiProfilesCheckBox")
|
|
self.verticalLayout_2.addWidget(self.uiMultiProfilesCheckBox)
|
|
self.uiDirectFileUpload = QtWidgets.QCheckBox(parent=self.uiMiscTab)
|
|
self.uiDirectFileUpload.setObjectName("uiDirectFileUpload")
|
|
self.verticalLayout_2.addWidget(self.uiDirectFileUpload)
|
|
spacerItem11 = QtWidgets.QSpacerItem(20, 5, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
|
|
self.verticalLayout_2.addItem(spacerItem11)
|
|
self.uiMiscTabWidget.addTab(self.uiMiscTab, "")
|
|
self.verticalLayout.addWidget(self.uiMiscTabWidget)
|
|
self.horizontalLayout_6 = QtWidgets.QHBoxLayout()
|
|
self.horizontalLayout_6.setObjectName("horizontalLayout_6")
|
|
spacerItem12 = QtWidgets.QSpacerItem(324, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
|
|
self.horizontalLayout_6.addItem(spacerItem12)
|
|
self.uiRestoreDefaultsPushButton = QtWidgets.QPushButton(parent=GeneralPreferencesPageWidget)
|
|
self.uiRestoreDefaultsPushButton.setObjectName("uiRestoreDefaultsPushButton")
|
|
self.horizontalLayout_6.addWidget(self.uiRestoreDefaultsPushButton)
|
|
self.verticalLayout.addLayout(self.horizontalLayout_6)
|
|
|
|
self.retranslateUi(GeneralPreferencesPageWidget)
|
|
self.uiMiscTabWidget.setCurrentIndex(0)
|
|
self.toolBox.setCurrentIndex(0)
|
|
QtCore.QMetaObject.connectSlotsByName(GeneralPreferencesPageWidget)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiProjectsPathLineEdit, self.uiProjectsPathToolButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiProjectsPathToolButton, self.uiSymbolsPathLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSymbolsPathLineEdit, self.uiSymbolsPathToolButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSymbolsPathToolButton, self.uiConfigsPathLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiConfigsPathLineEdit, self.uiConfigsPathToolButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiConfigsPathToolButton, self.uiAppliancesPathLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiAppliancesPathLineEdit, self.uiAppliancesPathToolButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiAppliancesPathToolButton, self.uiStyleComboBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiStyleComboBox, self.uiSymbolThemeComboBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSymbolThemeComboBox, self.uiImportConfigurationFilePushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiImportConfigurationFilePushButton, self.uiExportConfigurationFilePushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiExportConfigurationFilePushButton, self.uiBrowseConfigurationPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiBrowseConfigurationPushButton, self.uiImagesPathLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiImagesPathLineEdit, self.uiImagesPathToolButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiImagesPathToolButton, self.uiImageDirectoriesAddPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiImageDirectoriesAddPushButton, self.uiImageDirectoriesDeletePushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiImageDirectoriesDeletePushButton, self.uiTelnetConsoleCommandLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiTelnetConsoleCommandLineEdit, self.uiTelnetConsolePreconfiguredCommandPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiTelnetConsolePreconfiguredCommandPushButton, self.uiDelayConsoleAllSpinBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDelayConsoleAllSpinBox, self.uiVNCConsoleCommandLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiVNCConsoleCommandLineEdit, self.uiVNCConsolePreconfiguredCommandPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiVNCConsolePreconfiguredCommandPushButton, self.uiSPICEConsoleCommandLineEdit)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSPICEConsoleCommandLineEdit, self.uiSPICEConsolePreconfiguredCommandPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSPICEConsolePreconfiguredCommandPushButton, self.uiSceneWidthSpinBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSceneWidthSpinBox, self.uiSceneHeightSpinBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSceneHeightSpinBox, self.uiNodeGridSizeSpinBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiNodeGridSizeSpinBox, self.uiDrawingGridSizeSpinBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDrawingGridSizeSpinBox, self.uiRectangleSelectedItemCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiRectangleSelectedItemCheckBox, self.uiDrawLinkStatusPointsCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDrawLinkStatusPointsCheckBox, self.uiShowInterfaceLabelsOnNewProject)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiShowInterfaceLabelsOnNewProject, self.uiShowGridOnNewProject)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiShowGridOnNewProject, self.uiSnapToGridOnNewProject)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiSnapToGridOnNewProject, self.uiLimitSizeNodeSymbolCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiLimitSizeNodeSymbolCheckBox, self.uiDefaultLabelFontPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDefaultLabelFontPushButton, self.uiDefaultLabelColorPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDefaultLabelColorPushButton, self.uiDefaultNoteFontPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDefaultNoteFontPushButton, self.uiDefaultNoteColorPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDefaultNoteColorPushButton, self.uiCheckForUpdateCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiCheckForUpdateCheckBox, self.uiCrashReportCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiCrashReportCheckBox, self.uiOverlayNotificationsCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiOverlayNotificationsCheckBox, self.uiExperimentalFeaturesCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiExperimentalFeaturesCheckBox, self.uiMultiProfilesCheckBox)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiMultiProfilesCheckBox, self.uiDirectFileUpload)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiDirectFileUpload, self.uiRestoreDefaultsPushButton)
|
|
GeneralPreferencesPageWidget.setTabOrder(self.uiRestoreDefaultsPushButton, self.uiMiscTabWidget)
|
|
|
|
def retranslateUi(self, GeneralPreferencesPageWidget):
|
|
_translate = QtCore.QCoreApplication.translate
|
|
GeneralPreferencesPageWidget.setWindowTitle(_translate("GeneralPreferencesPageWidget", "General"))
|
|
self.uiLocalPathsGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Local paths"))
|
|
self.uiProjectsPathLabel.setText(_translate("GeneralPreferencesPageWidget", "My projects:"))
|
|
self.uiProjectsPathLineEdit.setToolTip(_translate("GeneralPreferencesPageWidget", "Directory where your GNS3 projects are stored"))
|
|
self.uiProjectsPathToolButton.setText(_translate("GeneralPreferencesPageWidget", "&Browse..."))
|
|
self.label.setText(_translate("GeneralPreferencesPageWidget", "My symbols:"))
|
|
self.uiSymbolsPathToolButton.setText(_translate("GeneralPreferencesPageWidget", "Browse..."))
|
|
self.uiConfigsPathLabel.setText(_translate("GeneralPreferencesPageWidget", "My configs:"))
|
|
self.uiConfigsPathLineEdit.setToolTip(_translate("GeneralPreferencesPageWidget", "Directory where your binary images (e.g. IOS) are stored"))
|
|
self.uiConfigsPathToolButton.setText(_translate("GeneralPreferencesPageWidget", "&Browse..."))
|
|
self.label_3.setText(_translate("GeneralPreferencesPageWidget", "My custom appliances:"))
|
|
self.uiAppliancesPathToolButton.setText(_translate("GeneralPreferencesPageWidget", "Browse..."))
|
|
self.uiStyleGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Interface style"))
|
|
self.uiSymbolThemeGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Symbol theme for new templates"))
|
|
self.uiSymbolThemeComboBox.setToolTip(_translate("GeneralPreferencesPageWidget", "Symbol theme support only works when adding a new template using the recommended method in the template wizard."))
|
|
self.uiConfigurationFileGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Configuration file"))
|
|
self.uiImportConfigurationFilePushButton.setText(_translate("GeneralPreferencesPageWidget", "&Import"))
|
|
self.uiExportConfigurationFilePushButton.setText(_translate("GeneralPreferencesPageWidget", "&Export"))
|
|
self.uiBrowseConfigurationPushButton.setText(_translate("GeneralPreferencesPageWidget", "Browse configuration directory"))
|
|
self.uiConfigurationFileLabel.setText(_translate("GeneralPreferencesPageWidget", "Unknown location"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiGeneralTab), _translate("GeneralPreferencesPageWidget", "General"))
|
|
self.uiLocalBinaryImagePathsGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Local paths"))
|
|
self.uiImagesPathLabel.setText(_translate("GeneralPreferencesPageWidget", "My binary images:"))
|
|
self.uiImagesPathLineEdit.setToolTip(_translate("GeneralPreferencesPageWidget", "Directory where your binary images (e.g. IOS) are stored"))
|
|
self.uiImagesPathToolButton.setText(_translate("GeneralPreferencesPageWidget", "&Browse..."))
|
|
self.uiImageDirectoriesLabel.setText(_translate("GeneralPreferencesPageWidget", "Additional search locations for binary images:"))
|
|
self.uiImageDirectoriesAddPushButton.setText(_translate("GeneralPreferencesPageWidget", "Add"))
|
|
self.uiImageDirectoriesDeletePushButton.setText(_translate("GeneralPreferencesPageWidget", "Delete"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiImagesTab), _translate("GeneralPreferencesPageWidget", "Binary images"))
|
|
self.uiTelnetConsoleSettingsGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Console settings"))
|
|
self.uiTelnetConsoleCommandLabel.setText(_translate("GeneralPreferencesPageWidget", "Console application command for Telnet:"))
|
|
self.uiTelnetConsoleCommandLineEdit.setToolTip(_translate("GeneralPreferencesPageWidget", "<html><head/><body><p>Command line replacements:</p><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:12px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%h or {host} = console IP or hostname</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%p or {port} = console port</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%d or {name} = title of the console (node name)</li><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%P or {project} = project</li></ul><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%i or {project_id} = project UUID</li><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%n or {node_id} = node UUID</li></ul><li style=\" margin-top:0px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%c or {url} = server URL</li></ul></body></html>"))
|
|
self.uiTelnetConsolePreconfiguredCommandPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Edit"))
|
|
self.uiConsoleMiscGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Miscellaneous"))
|
|
self.uiDelayConsoleAllSpinBox.setSuffix(_translate("GeneralPreferencesPageWidget", " ms"))
|
|
self.uiSlowConsoleAllLabel.setText(_translate("GeneralPreferencesPageWidget", "Delay between each console launch when consoling to all devices:"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiConsoleTab), _translate("GeneralPreferencesPageWidget", "Console applications"))
|
|
self.uiVNCConsoleSettingsGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Settings for VNC connections"))
|
|
self.uiVNCConsoleCommandLabel.setText(_translate("GeneralPreferencesPageWidget", "Console application command for VNC:"))
|
|
self.uiVNCConsoleCommandLineEdit.setToolTip(_translate("GeneralPreferencesPageWidget", "<html><head/><body><p>Command line replacements:</p><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:12px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%h or {host} = console IP or hostname</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%p or {port} = console port</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%P or {display} = VNC display</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%d or {name} = node name</li><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%T or {project} = project name</li></ul><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%i or {project_id} = project UUID</li><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%n or {node_id} = node UUID</li></ul><li style=\" margin-top:0px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%c or {url} = server URL</li></ul></body></html>"))
|
|
self.uiVNCConsolePreconfiguredCommandPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Edit"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiVNCTab), _translate("GeneralPreferencesPageWidget", "VNC"))
|
|
self.uiSPICEConsoleSettingsGroupBox.setTitle(_translate("GeneralPreferencesPageWidget", "Settings for SPICE connections"))
|
|
self.uiSPICEConsoleCommandLabel.setText(_translate("GeneralPreferencesPageWidget", "Console application command for SPICE:"))
|
|
self.uiSPICEConsoleCommandLineEdit.setToolTip(_translate("GeneralPreferencesPageWidget", "<html><head/><body><p>Command line replacements:</p><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:12px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%h or {host} = console IP or hostname</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%p or {port} = console port</li><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%d or {name} = node name</li><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%P or {project} = project name</li></ul><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%i or {project_id} = project UUID</li><ul style=\"margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; -qt-list-indent: 1;\"><li style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%n or {node_id} = node UUID</li></ul><li style=\" margin-top:0px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">%c or {url} = server URL</li></ul></body></html>"))
|
|
self.uiSPICEConsolePreconfiguredCommandPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Edit"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiSPICETab), _translate("GeneralPreferencesPageWidget", "SPICE"))
|
|
self.uiDrawingGridSizeLabel.setText(_translate("GeneralPreferencesPageWidget", "Default drawing grid size:"))
|
|
self.uiNodeGridSizeLabel.setText(_translate("GeneralPreferencesPageWidget", "Default node grid size:"))
|
|
self.uiSceneHeightLabel.setText(_translate("GeneralPreferencesPageWidget", "Default height:"))
|
|
self.uiDefaultLabelFontPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Select default font"))
|
|
self.uiDefaultLabelColorPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Select default color"))
|
|
self.uiDefaultLabelStylePlainTextEdit.setPlainText(_translate("GeneralPreferencesPageWidget", "AaBbYyZz"))
|
|
self.toolBox.setItemText(self.toolBox.indexOf(self.page), _translate("GeneralPreferencesPageWidget", "Default label style"))
|
|
self.uiDefaultNoteStylePlainTextEdit.setPlainText(_translate("GeneralPreferencesPageWidget", "AaBbYyZz"))
|
|
self.uiDefaultNoteFontPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Select default font"))
|
|
self.uiDefaultNoteColorPushButton.setText(_translate("GeneralPreferencesPageWidget", "&Select default color"))
|
|
self.toolBox.setItemText(self.toolBox.indexOf(self.page_2), _translate("GeneralPreferencesPageWidget", "Default note style"))
|
|
self.uiDefaultLinkColorLabel.setText(_translate("GeneralPreferencesPageWidget", "Color:"))
|
|
self.uiDefaultLinkWidthLabel.setText(_translate("GeneralPreferencesPageWidget", "Width:"))
|
|
self.uiDefaultLinkWidthSpinBox.setSuffix(_translate("GeneralPreferencesPageWidget", " px"))
|
|
self.uiDefaultLinkStyleLabel.setText(_translate("GeneralPreferencesPageWidget", "Style:"))
|
|
self.toolBox.setItemText(self.toolBox.indexOf(self.page_3), _translate("GeneralPreferencesPageWidget", "Default link style"))
|
|
self.uiSceneWidthSpinBox.setSuffix(_translate("GeneralPreferencesPageWidget", " pixels"))
|
|
self.uiSceneWidthLabel.setText(_translate("GeneralPreferencesPageWidget", "Default width:"))
|
|
self.uiDrawLinkStatusPointsCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Draw link status points"))
|
|
self.uiShowInterfaceLabelsOnNewProject.setText(_translate("GeneralPreferencesPageWidget", "Show interface labels on new project"))
|
|
self.uiShowGridOnNewProject.setText(_translate("GeneralPreferencesPageWidget", "Show grid on new project"))
|
|
self.uiSceneHeightSpinBox.setSuffix(_translate("GeneralPreferencesPageWidget", " pixels"))
|
|
self.uiRectangleSelectedItemCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Draw a rectangle when an item is selected"))
|
|
self.uiLimitSizeNodeSymbolCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Limit the size of node symbols"))
|
|
self.uiSnapToGridOnNewProject.setText(_translate("GeneralPreferencesPageWidget", "Snap to grid on new project"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiSceneTab), _translate("GeneralPreferencesPageWidget", "Topology view"))
|
|
self.uiCheckForUpdateCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Automatically check for update"))
|
|
self.uiCrashReportCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Send anonymous crash reports"))
|
|
self.uiOverlayNotificationsCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Display error, warning and info in an overlay popup"))
|
|
self.uiExperimentalFeaturesCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Enable experimental features"))
|
|
self.uiMultiProfilesCheckBox.setText(_translate("GeneralPreferencesPageWidget", "Request for profile settings at application startup"))
|
|
self.uiDirectFileUpload.setToolTip(_translate("GeneralPreferencesPageWidget", "Experimental, requires computes visibility from GUI network"))
|
|
self.uiDirectFileUpload.setText(_translate("GeneralPreferencesPageWidget", "Upload files directly to computes (experimental)"))
|
|
self.uiMiscTabWidget.setTabText(self.uiMiscTabWidget.indexOf(self.uiMiscTab), _translate("GeneralPreferencesPageWidget", "Miscellaneous"))
|
|
self.uiRestoreDefaultsPushButton.setText(_translate("GeneralPreferencesPageWidget", "Restore defaults"))
|