Mercurial Repositories > eric / file revision

# Form implementation generated from reading ui file 'src/eric7/Preferences/ConfigurationPages/EditorFilePage.ui'
#
# Created by: PyQt6 UI code generator 6.7.0
#
# 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_EditorFilePage(object):
    def setupUi(self, EditorFilePage):
        EditorFilePage.setObjectName("EditorFilePage")
        EditorFilePage.resize(600, 1696)
        self.verticalLayout_6 = QtWidgets.QVBoxLayout(EditorFilePage)
        self.verticalLayout_6.setObjectName("verticalLayout_6")
        self.headerLabel = QtWidgets.QLabel(parent=EditorFilePage)
        self.headerLabel.setObjectName("headerLabel")
        self.verticalLayout_6.addWidget(self.headerLabel)
        self.line2 = QtWidgets.QFrame(parent=EditorFilePage)
        self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine)
        self.line2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
        self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine)
        self.line2.setObjectName("line2")
        self.verticalLayout_6.addWidget(self.line2)
        self.groupBox_3 = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox_3.setObjectName("groupBox_3")
        self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox_3)
        self.verticalLayout_5.setObjectName("verticalLayout_5")
        self.hboxlayout = QtWidgets.QHBoxLayout()
        self.hboxlayout.setObjectName("hboxlayout")
        self.clearBreakpointsCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_3)
        self.clearBreakpointsCheckBox.setObjectName("clearBreakpointsCheckBox")
        self.hboxlayout.addWidget(self.clearBreakpointsCheckBox)
        self.automaticReopenCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_3)
        self.automaticReopenCheckBox.setObjectName("automaticReopenCheckBox")
        self.hboxlayout.addWidget(self.automaticReopenCheckBox)
        self.verticalLayout_5.addLayout(self.hboxlayout)
        self.gridLayout_6 = QtWidgets.QGridLayout()
        self.gridLayout_6.setObjectName("gridLayout_6")
        self.label = QtWidgets.QLabel(parent=self.groupBox_3)
        self.label.setObjectName("label")
        self.gridLayout_6.addWidget(self.label, 0, 0, 1, 1)
        self.warnFilesizeSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_3)
        self.warnFilesizeSpinBox.setMinimum(1)
        self.warnFilesizeSpinBox.setMaximum(16384)
        self.warnFilesizeSpinBox.setSingleStep(16)
        self.warnFilesizeSpinBox.setProperty("value", 1024)
        self.warnFilesizeSpinBox.setObjectName("warnFilesizeSpinBox")
        self.gridLayout_6.addWidget(self.warnFilesizeSpinBox, 0, 1, 1, 1)
        spacerItem = QtWidgets.QSpacerItem(32, 17, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.gridLayout_6.addItem(spacerItem, 0, 2, 1, 1)
        self.label_13 = QtWidgets.QLabel(parent=self.groupBox_3)
        self.label_13.setObjectName("label_13")
        self.gridLayout_6.addWidget(self.label_13, 1, 0, 1, 1)
        self.rejectFilesizeSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_3)
        self.rejectFilesizeSpinBox.setMinimum(1)
        self.rejectFilesizeSpinBox.setMaximum(16384)
        self.rejectFilesizeSpinBox.setSingleStep(16)
        self.rejectFilesizeSpinBox.setProperty("value", 4096)
        self.rejectFilesizeSpinBox.setObjectName("rejectFilesizeSpinBox")
        self.gridLayout_6.addWidget(self.rejectFilesizeSpinBox, 1, 1, 1, 1)
        self.verticalLayout_5.addLayout(self.gridLayout_6)
        self.verticalLayout_6.addWidget(self.groupBox_3)
        self.groupBox_5 = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox_5.setObjectName("groupBox_5")
        self.verticalLayout = QtWidgets.QVBoxLayout(self.groupBox_5)
        self.verticalLayout.setObjectName("verticalLayout")
        self.groupBox_8 = QtWidgets.QGroupBox(parent=self.groupBox_5)
        self.groupBox_8.setObjectName("groupBox_8")
        self._12 = QtWidgets.QHBoxLayout(self.groupBox_8)
        self._12.setObjectName("_12")
        self.lfRadioButton = QtWidgets.QRadioButton(parent=self.groupBox_8)
        self.lfRadioButton.setObjectName("lfRadioButton")
        self._12.addWidget(self.lfRadioButton)
        self.crRadioButton = QtWidgets.QRadioButton(parent=self.groupBox_8)
        self.crRadioButton.setObjectName("crRadioButton")
        self._12.addWidget(self.crRadioButton)
        self.crlfRadioButton = QtWidgets.QRadioButton(parent=self.groupBox_8)
        self.crlfRadioButton.setObjectName("crlfRadioButton")
        self._12.addWidget(self.crlfRadioButton)
        self.verticalLayout.addWidget(self.groupBox_8)
        self.automaticEolConversionCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5)
        self.automaticEolConversionCheckBox.setObjectName("automaticEolConversionCheckBox")
        self.verticalLayout.addWidget(self.automaticEolConversionCheckBox)
        self.verticalLayout_6.addWidget(self.groupBox_5)
        self.groupBox_4 = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox_4.setObjectName("groupBox_4")
        self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox_4)
        self.verticalLayout_3.setObjectName("verticalLayout_3")
        self.insertFinalNewlineCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4)
        self.insertFinalNewlineCheckBox.setObjectName("insertFinalNewlineCheckBox")
        self.verticalLayout_3.addWidget(self.insertFinalNewlineCheckBox)
        self.stripWhitespaceCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4)
        self.stripWhitespaceCheckBox.setObjectName("stripWhitespaceCheckBox")
        self.verticalLayout_3.addWidget(self.stripWhitespaceCheckBox)
        self.createBackupFileCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4)
        self.createBackupFileCheckBox.setObjectName("createBackupFileCheckBox")
        self.verticalLayout_3.addWidget(self.createBackupFileCheckBox)
        self.groupBox_14 = QtWidgets.QGroupBox(parent=self.groupBox_4)
        self.groupBox_14.setObjectName("groupBox_14")
        self.gridLayout_7 = QtWidgets.QGridLayout(self.groupBox_14)
        self.gridLayout_7.setObjectName("gridLayout_7")
        self.label_14 = QtWidgets.QLabel(parent=self.groupBox_14)
        self.label_14.setObjectName("label_14")
        self.gridLayout_7.addWidget(self.label_14, 0, 0, 1, 1)
        self.autosaveSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_14)
        self.autosaveSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
        self.autosaveSpinBox.setMaximum(900)
        self.autosaveSpinBox.setSingleStep(5)
        self.autosaveSpinBox.setObjectName("autosaveSpinBox")
        self.gridLayout_7.addWidget(self.autosaveSpinBox, 0, 1, 1, 1)
        spacerItem1 = QtWidgets.QSpacerItem(415, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.gridLayout_7.addItem(spacerItem1, 0, 2, 1, 1)
        self.autosaveOnFocusLostCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_14)
        self.autosaveOnFocusLostCheckBox.setObjectName("autosaveOnFocusLostCheckBox")
        self.gridLayout_7.addWidget(self.autosaveOnFocusLostCheckBox, 1, 0, 1, 3)
        self.verticalLayout_3.addWidget(self.groupBox_14)
        self.verticalLayout_6.addWidget(self.groupBox_4)
        self.groupBox = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox.setObjectName("groupBox")
        self.gridLayout = QtWidgets.QGridLayout(self.groupBox)
        self.gridLayout.setObjectName("gridLayout")
        self.advEncodingCheckBox = QtWidgets.QCheckBox(parent=self.groupBox)
        self.advEncodingCheckBox.setObjectName("advEncodingCheckBox")
        self.gridLayout.addWidget(self.advEncodingCheckBox, 0, 0, 1, 2)
        self.label_4 = QtWidgets.QLabel(parent=self.groupBox)
        self.label_4.setObjectName("label_4")
        self.gridLayout.addWidget(self.label_4, 1, 0, 1, 1)
        self.defaultEncodingComboBox = QtWidgets.QComboBox(parent=self.groupBox)
        sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.defaultEncodingComboBox.sizePolicy().hasHeightForWidth())
        self.defaultEncodingComboBox.setSizePolicy(sizePolicy)
        self.defaultEncodingComboBox.setObjectName("defaultEncodingComboBox")
        self.gridLayout.addWidget(self.defaultEncodingComboBox, 1, 1, 1, 1)
        self.verticalLayout_6.addWidget(self.groupBox)
        self.groupBox_2 = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox_2.setObjectName("groupBox_2")
        self.gridlayout = QtWidgets.QGridLayout(self.groupBox_2)
        self.gridlayout.setObjectName("gridlayout")
        self.label_2 = QtWidgets.QLabel(parent=self.groupBox_2)
        self.label_2.setObjectName("label_2")
        self.gridlayout.addWidget(self.label_2, 0, 0, 1, 1)
        self.openFilesFilterComboBox = QtWidgets.QComboBox(parent=self.groupBox_2)
        self.openFilesFilterComboBox.setObjectName("openFilesFilterComboBox")
        self.gridlayout.addWidget(self.openFilesFilterComboBox, 0, 1, 1, 1)
        spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.gridlayout.addItem(spacerItem2, 0, 2, 1, 1)
        self.label_3 = QtWidgets.QLabel(parent=self.groupBox_2)
        self.label_3.setObjectName("label_3")
        self.gridlayout.addWidget(self.label_3, 1, 0, 1, 1)
        self.saveFilesFilterComboBox = QtWidgets.QComboBox(parent=self.groupBox_2)
        self.saveFilesFilterComboBox.setObjectName("saveFilesFilterComboBox")
        self.gridlayout.addWidget(self.saveFilesFilterComboBox, 1, 1, 1, 1)
        self.verticalLayout_6.addWidget(self.groupBox_2)
        self.groupBox_6 = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox_6.setObjectName("groupBox_6")
        self.gridLayout_2 = QtWidgets.QGridLayout(self.groupBox_6)
        self.gridLayout_2.setObjectName("gridLayout_2")
        self.label_5 = QtWidgets.QLabel(parent=self.groupBox_6)
        self.label_5.setWordWrap(True)
        self.label_5.setObjectName("label_5")
        self.gridLayout_2.addWidget(self.label_5, 0, 0, 1, 2)
        self.horizontalLayout = QtWidgets.QHBoxLayout()
        self.horizontalLayout.setObjectName("horizontalLayout")
        self.openFiltersButton = QtWidgets.QRadioButton(parent=self.groupBox_6)
        self.openFiltersButton.setChecked(True)
        self.openFiltersButton.setObjectName("openFiltersButton")
        self.horizontalLayout.addWidget(self.openFiltersButton)
        self.savFiltersButton = QtWidgets.QRadioButton(parent=self.groupBox_6)
        self.savFiltersButton.setObjectName("savFiltersButton")
        self.horizontalLayout.addWidget(self.savFiltersButton)
        self.gridLayout_2.addLayout(self.horizontalLayout, 1, 0, 1, 2)
        self.fileFiltersList = QtWidgets.QListWidget(parent=self.groupBox_6)
        sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Preferred)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.fileFiltersList.sizePolicy().hasHeightForWidth())
        self.fileFiltersList.setSizePolicy(sizePolicy)
        self.fileFiltersList.setMinimumSize(QtCore.QSize(0, 200))
        self.fileFiltersList.setAlternatingRowColors(True)
        self.fileFiltersList.setObjectName("fileFiltersList")
        self.gridLayout_2.addWidget(self.fileFiltersList, 2, 0, 4, 1)
        self.addFileFilterButton = QtWidgets.QPushButton(parent=self.groupBox_6)
        self.addFileFilterButton.setObjectName("addFileFilterButton")
        self.gridLayout_2.addWidget(self.addFileFilterButton, 2, 1, 1, 1)
        self.editFileFilterButton = QtWidgets.QPushButton(parent=self.groupBox_6)
        self.editFileFilterButton.setEnabled(False)
        self.editFileFilterButton.setObjectName("editFileFilterButton")
        self.gridLayout_2.addWidget(self.editFileFilterButton, 3, 1, 1, 1)
        self.deleteFileFilterButton = QtWidgets.QPushButton(parent=self.groupBox_6)
        self.deleteFileFilterButton.setEnabled(False)
        self.deleteFileFilterButton.setObjectName("deleteFileFilterButton")
        self.gridLayout_2.addWidget(self.deleteFileFilterButton, 4, 1, 1, 1)
        spacerItem3 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
        self.gridLayout_2.addItem(spacerItem3, 5, 1, 1, 1)
        self.verticalLayout_6.addWidget(self.groupBox_6)
        self.groupBox_7 = QtWidgets.QGroupBox(parent=EditorFilePage)
        self.groupBox_7.setObjectName("groupBox_7")
        self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.groupBox_7)
        self.verticalLayout_4.setObjectName("verticalLayout_4")
        self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
        self.horizontalLayout_5.setObjectName("horizontalLayout_5")
        self.label_8 = QtWidgets.QLabel(parent=self.groupBox_7)
        self.label_8.setObjectName("label_8")
        self.horizontalLayout_5.addWidget(self.label_8)
        self.previewRefreshTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_7)
        self.previewRefreshTimeoutSpinBox.setMinimum(500)
        self.previewRefreshTimeoutSpinBox.setMaximum(5000)
        self.previewRefreshTimeoutSpinBox.setSingleStep(500)
        self.previewRefreshTimeoutSpinBox.setObjectName("previewRefreshTimeoutSpinBox")
        self.horizontalLayout_5.addWidget(self.previewRefreshTimeoutSpinBox)
        spacerItem4 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.horizontalLayout_5.addItem(spacerItem4)
        self.verticalLayout_4.addLayout(self.horizontalLayout_5)
        self.groupBox_12 = QtWidgets.QGroupBox(parent=self.groupBox_7)
        self.groupBox_12.setObjectName("groupBox_12")
        self.horizontalLayout_3 = QtWidgets.QHBoxLayout(self.groupBox_12)
        self.horizontalLayout_3.setObjectName("horizontalLayout_3")
        self.label_12 = QtWidgets.QLabel(parent=self.groupBox_12)
        self.label_12.setObjectName("label_12")
        self.horizontalLayout_3.addWidget(self.label_12)
        self.previewHtmlExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_12)
        self.previewHtmlExtensionsEdit.setObjectName("previewHtmlExtensionsEdit")
        self.horizontalLayout_3.addWidget(self.previewHtmlExtensionsEdit)
        self.verticalLayout_4.addWidget(self.groupBox_12)
        self.groupBox_11 = QtWidgets.QGroupBox(parent=self.groupBox_7)
        self.groupBox_11.setObjectName("groupBox_11")
        self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_11)
        self.verticalLayout_2.setObjectName("verticalLayout_2")
        self.gridLayout_4 = QtWidgets.QGridLayout()
        self.gridLayout_4.setObjectName("gridLayout_4")
        self.label_11 = QtWidgets.QLabel(parent=self.groupBox_11)
        self.label_11.setObjectName("label_11")
        self.gridLayout_4.addWidget(self.label_11, 0, 0, 1, 1)
        self.previewMarkdownExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_11)
        self.previewMarkdownExtensionsEdit.setObjectName("previewMarkdownExtensionsEdit")
        self.gridLayout_4.addWidget(self.previewMarkdownExtensionsEdit, 0, 1, 1, 1)
        self.label_6 = QtWidgets.QLabel(parent=self.groupBox_11)
        self.label_6.setObjectName("label_6")
        self.gridLayout_4.addWidget(self.label_6, 1, 0, 1, 1)
        self.previewMarkdownHTMLFormatComboBox = QtWidgets.QComboBox(parent=self.groupBox_11)
        sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.previewMarkdownHTMLFormatComboBox.sizePolicy().hasHeightForWidth())
        self.previewMarkdownHTMLFormatComboBox.setSizePolicy(sizePolicy)
        self.previewMarkdownHTMLFormatComboBox.setObjectName("previewMarkdownHTMLFormatComboBox")
        self.gridLayout_4.addWidget(self.previewMarkdownHTMLFormatComboBox, 1, 1, 1, 1)
        self.verticalLayout_2.addLayout(self.gridLayout_4)
        self.previewMarkdownNLtoBreakCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
        self.previewMarkdownNLtoBreakCheckBox.setObjectName("previewMarkdownNLtoBreakCheckBox")
        self.verticalLayout_2.addWidget(self.previewMarkdownNLtoBreakCheckBox)
        self.horizontalLayout_6 = QtWidgets.QHBoxLayout()
        self.horizontalLayout_6.setObjectName("horizontalLayout_6")
        self.previewMarkdownPyMdownCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
        self.previewMarkdownPyMdownCheckBox.setObjectName("previewMarkdownPyMdownCheckBox")
        self.horizontalLayout_6.addWidget(self.previewMarkdownPyMdownCheckBox)
        self.previewMarkdownPyMdownInstallPushButton = QtWidgets.QPushButton(parent=self.groupBox_11)
        self.previewMarkdownPyMdownInstallPushButton.setObjectName("previewMarkdownPyMdownInstallPushButton")
        self.horizontalLayout_6.addWidget(self.previewMarkdownPyMdownInstallPushButton)
        spacerItem5 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.horizontalLayout_6.addItem(spacerItem5)
        self.verticalLayout_2.addLayout(self.horizontalLayout_6)
        self.gridLayout_5 = QtWidgets.QGridLayout()
        self.gridLayout_5.setObjectName("gridLayout_5")
        self.previewMarkdownMathJaxCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
        self.previewMarkdownMathJaxCheckBox.setObjectName("previewMarkdownMathJaxCheckBox")
        self.gridLayout_5.addWidget(self.previewMarkdownMathJaxCheckBox, 0, 0, 1, 1)
        self.previewMarkdownMermaidCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
        self.previewMarkdownMermaidCheckBox.setObjectName("previewMarkdownMermaidCheckBox")
        self.gridLayout_5.addWidget(self.previewMarkdownMermaidCheckBox, 0, 1, 1, 1)
        self.TextLabel1_2_2_3 = QtWidgets.QLabel(parent=self.groupBox_11)
        self.TextLabel1_2_2_3.setWordWrap(True)
        self.TextLabel1_2_2_3.setObjectName("TextLabel1_2_2_3")
        self.gridLayout_5.addWidget(self.TextLabel1_2_2_3, 1, 0, 1, 2)
        self.verticalLayout_2.addLayout(self.gridLayout_5)
        self.verticalLayout_4.addWidget(self.groupBox_11)
        self.groupBox_10 = QtWidgets.QGroupBox(parent=self.groupBox_7)
        self.groupBox_10.setObjectName("groupBox_10")
        self.gridLayout_3 = QtWidgets.QGridLayout(self.groupBox_10)
        self.gridLayout_3.setObjectName("gridLayout_3")
        self.label_9 = QtWidgets.QLabel(parent=self.groupBox_10)
        self.label_9.setObjectName("label_9")
        self.gridLayout_3.addWidget(self.label_9, 0, 0, 1, 1)
        self.previewRestExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_10)
        self.previewRestExtensionsEdit.setObjectName("previewRestExtensionsEdit")
        self.gridLayout_3.addWidget(self.previewRestExtensionsEdit, 0, 1, 1, 1)
        self.previewRestSphinxCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_10)
        self.previewRestSphinxCheckBox.setObjectName("previewRestSphinxCheckBox")
        self.gridLayout_3.addWidget(self.previewRestSphinxCheckBox, 1, 0, 1, 2)
        self.groupBox_13 = QtWidgets.QGroupBox(parent=self.groupBox_10)
        self.groupBox_13.setObjectName("groupBox_13")
        self.horizontalLayout_4 = QtWidgets.QHBoxLayout(self.groupBox_13)
        self.horizontalLayout_4.setObjectName("horizontalLayout_4")
        self.label_7 = QtWidgets.QLabel(parent=self.groupBox_13)
        self.label_7.setObjectName("label_7")
        self.horizontalLayout_4.addWidget(self.label_7)
        self.previewRestDocutilsHTMLFormatComboBox = QtWidgets.QComboBox(parent=self.groupBox_13)
        sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.previewRestDocutilsHTMLFormatComboBox.sizePolicy().hasHeightForWidth())
        self.previewRestDocutilsHTMLFormatComboBox.setSizePolicy(sizePolicy)
        self.previewRestDocutilsHTMLFormatComboBox.setObjectName("previewRestDocutilsHTMLFormatComboBox")
        self.horizontalLayout_4.addWidget(self.previewRestDocutilsHTMLFormatComboBox)
        self.gridLayout_3.addWidget(self.groupBox_13, 2, 0, 1, 2)
        self.verticalLayout_4.addWidget(self.groupBox_10)
        self.groupBox_9 = QtWidgets.QGroupBox(parent=self.groupBox_7)
        self.groupBox_9.setObjectName("groupBox_9")
        self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.groupBox_9)
        self.horizontalLayout_2.setObjectName("horizontalLayout_2")
        self.label_10 = QtWidgets.QLabel(parent=self.groupBox_9)
        self.label_10.setObjectName("label_10")
        self.horizontalLayout_2.addWidget(self.label_10)
        self.previewQssExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_9)
        self.previewQssExtensionsEdit.setObjectName("previewQssExtensionsEdit")
        self.horizontalLayout_2.addWidget(self.previewQssExtensionsEdit)
        self.verticalLayout_4.addWidget(self.groupBox_9)
        self.verticalLayout_6.addWidget(self.groupBox_7)

        self.retranslateUi(EditorFilePage)
        QtCore.QMetaObject.connectSlotsByName(EditorFilePage)
        EditorFilePage.setTabOrder(self.clearBreakpointsCheckBox, self.automaticReopenCheckBox)
        EditorFilePage.setTabOrder(self.automaticReopenCheckBox, self.warnFilesizeSpinBox)
        EditorFilePage.setTabOrder(self.warnFilesizeSpinBox, self.rejectFilesizeSpinBox)
        EditorFilePage.setTabOrder(self.rejectFilesizeSpinBox, self.lfRadioButton)
        EditorFilePage.setTabOrder(self.lfRadioButton, self.crRadioButton)
        EditorFilePage.setTabOrder(self.crRadioButton, self.crlfRadioButton)
        EditorFilePage.setTabOrder(self.crlfRadioButton, self.automaticEolConversionCheckBox)
        EditorFilePage.setTabOrder(self.automaticEolConversionCheckBox, self.insertFinalNewlineCheckBox)
        EditorFilePage.setTabOrder(self.insertFinalNewlineCheckBox, self.stripWhitespaceCheckBox)
        EditorFilePage.setTabOrder(self.stripWhitespaceCheckBox, self.createBackupFileCheckBox)
        EditorFilePage.setTabOrder(self.createBackupFileCheckBox, self.autosaveSpinBox)
        EditorFilePage.setTabOrder(self.autosaveSpinBox, self.autosaveOnFocusLostCheckBox)
        EditorFilePage.setTabOrder(self.autosaveOnFocusLostCheckBox, self.advEncodingCheckBox)
        EditorFilePage.setTabOrder(self.advEncodingCheckBox, self.defaultEncodingComboBox)
        EditorFilePage.setTabOrder(self.defaultEncodingComboBox, self.openFilesFilterComboBox)
        EditorFilePage.setTabOrder(self.openFilesFilterComboBox, self.saveFilesFilterComboBox)
        EditorFilePage.setTabOrder(self.saveFilesFilterComboBox, self.openFiltersButton)
        EditorFilePage.setTabOrder(self.openFiltersButton, self.savFiltersButton)
        EditorFilePage.setTabOrder(self.savFiltersButton, self.fileFiltersList)
        EditorFilePage.setTabOrder(self.fileFiltersList, self.addFileFilterButton)
        EditorFilePage.setTabOrder(self.addFileFilterButton, self.editFileFilterButton)
        EditorFilePage.setTabOrder(self.editFileFilterButton, self.deleteFileFilterButton)
        EditorFilePage.setTabOrder(self.deleteFileFilterButton, self.previewRefreshTimeoutSpinBox)
        EditorFilePage.setTabOrder(self.previewRefreshTimeoutSpinBox, self.previewHtmlExtensionsEdit)
        EditorFilePage.setTabOrder(self.previewHtmlExtensionsEdit, self.previewMarkdownExtensionsEdit)
        EditorFilePage.setTabOrder(self.previewMarkdownExtensionsEdit, self.previewMarkdownHTMLFormatComboBox)
        EditorFilePage.setTabOrder(self.previewMarkdownHTMLFormatComboBox, self.previewMarkdownNLtoBreakCheckBox)
        EditorFilePage.setTabOrder(self.previewMarkdownNLtoBreakCheckBox, self.previewMarkdownPyMdownCheckBox)
        EditorFilePage.setTabOrder(self.previewMarkdownPyMdownCheckBox, self.previewMarkdownPyMdownInstallPushButton)
        EditorFilePage.setTabOrder(self.previewMarkdownPyMdownInstallPushButton, self.previewMarkdownMathJaxCheckBox)
        EditorFilePage.setTabOrder(self.previewMarkdownMathJaxCheckBox, self.previewMarkdownMermaidCheckBox)
        EditorFilePage.setTabOrder(self.previewMarkdownMermaidCheckBox, self.previewRestExtensionsEdit)
        EditorFilePage.setTabOrder(self.previewRestExtensionsEdit, self.previewRestSphinxCheckBox)
        EditorFilePage.setTabOrder(self.previewRestSphinxCheckBox, self.previewRestDocutilsHTMLFormatComboBox)
        EditorFilePage.setTabOrder(self.previewRestDocutilsHTMLFormatComboBox, self.previewQssExtensionsEdit)

    def retranslateUi(self, EditorFilePage):
        _translate = QtCore.QCoreApplication.translate
        self.headerLabel.setText(_translate("EditorFilePage", "<b>Configure file handling settings</b>"))
        self.groupBox_3.setTitle(_translate("EditorFilePage", "Open && Close"))
        self.clearBreakpointsCheckBox.setToolTip(_translate("EditorFilePage", "Select, whether breakpoint belonging to an editor should be cleared, when the editor is closed"))
        self.clearBreakpointsCheckBox.setText(_translate("EditorFilePage", "Clear Breakpoints upon closing"))
        self.automaticReopenCheckBox.setToolTip(_translate("EditorFilePage", "Select to reread the file automatically, if it was changed externally"))
        self.automaticReopenCheckBox.setText(_translate("EditorFilePage", "Reread automatically when changed externally"))
        self.label.setText(_translate("EditorFilePage", "Warn, if file is greater than"))
        self.warnFilesizeSpinBox.setToolTip(_translate("EditorFilePage", "Enter the filesize, a warning dialog should be shown."))
        self.warnFilesizeSpinBox.setSuffix(_translate("EditorFilePage", " KB"))
        self.label_13.setText(_translate("EditorFilePage", "Reject, if file is greater than"))
        self.rejectFilesizeSpinBox.setToolTip(_translate("EditorFilePage", "Enter the filesize, opening a file should be rejected."))
        self.rejectFilesizeSpinBox.setSuffix(_translate("EditorFilePage", " KB"))
        self.groupBox_5.setTitle(_translate("EditorFilePage", "End of Line"))
        self.groupBox_8.setTitle(_translate("EditorFilePage", "End of Line Characters"))
        self.lfRadioButton.setToolTip(_translate("EditorFilePage", "Select Unix type end of line"))
        self.lfRadioButton.setText(_translate("EditorFilePage", "Unix"))
        self.crRadioButton.setToolTip(_translate("EditorFilePage", "Select Macintosh type end of line"))
        self.crRadioButton.setText(_translate("EditorFilePage", "Macintosh"))
        self.crlfRadioButton.setToolTip(_translate("EditorFilePage", "Select Windows type end of line"))
        self.crlfRadioButton.setText(_translate("EditorFilePage", "Windows/DOS"))
        self.automaticEolConversionCheckBox.setToolTip(_translate("EditorFilePage", "Select whether the eol type should be converted upon opening the file."))
        self.automaticEolConversionCheckBox.setText(_translate("EditorFilePage", "Automatic End of Line Conversion"))
        self.groupBox_4.setTitle(_translate("EditorFilePage", "Save"))
        self.insertFinalNewlineCheckBox.setToolTip(_translate("EditorFilePage", "Select to insert a final newline if none is there"))
        self.insertFinalNewlineCheckBox.setText(_translate("EditorFilePage", "Insert final newline upon save"))
        self.stripWhitespaceCheckBox.setToolTip(_translate("EditorFilePage", "Select, whether trailing whitespace should be removed upon save"))
        self.stripWhitespaceCheckBox.setText(_translate("EditorFilePage", "Strip trailing whitespace upon save"))
        self.createBackupFileCheckBox.setToolTip(_translate("EditorFilePage", "Select, whether a backup file shall be generated upon save"))
        self.createBackupFileCheckBox.setText(_translate("EditorFilePage", "Create backup file upon save"))
        self.groupBox_14.setTitle(_translate("EditorFilePage", "Autosave"))
        self.label_14.setText(_translate("EditorFilePage", "Interval:"))
        self.autosaveSpinBox.setToolTip(_translate("EditorFilePage", "Enter the auto save interval in seconds."))
        self.autosaveSpinBox.setSpecialValueText(_translate("EditorFilePage", "off"))
        self.autosaveSpinBox.setSuffix(_translate("EditorFilePage", " s"))
        self.autosaveOnFocusLostCheckBox.setToolTip(_translate("EditorFilePage", "Select to save the file automatically when the editor looses the input focus."))
        self.autosaveOnFocusLostCheckBox.setText(_translate("EditorFilePage", "Autosave when focus lost"))
        self.groupBox.setTitle(_translate("EditorFilePage", "Encoding"))
        self.advEncodingCheckBox.setToolTip(_translate("EditorFilePage", "Select to use the advanced encoding detection "))
        self.advEncodingCheckBox.setWhatsThis(_translate("EditorFilePage", "<b>Advanced encoding detection</b>\n"
"<p>Select to use the advanced encoding detection based on the &quot;universal character encoding detector&quot; from <a href=\"http://chardet.feedparser.org\">http://chardet.feedparser.org</a>.</p>"))
        self.advEncodingCheckBox.setText(_translate("EditorFilePage", "Use advanced encoding detection"))
        self.label_4.setText(_translate("EditorFilePage", "Default Encoding:"))
        self.defaultEncodingComboBox.setToolTip(_translate("EditorFilePage", "Select the string encoding to be used."))
        self.groupBox_2.setTitle(_translate("EditorFilePage", "Default File Filters"))
        self.label_2.setText(_translate("EditorFilePage", "Open Files:"))
        self.label_3.setText(_translate("EditorFilePage", "Save Files:"))
        self.groupBox_6.setTitle(_translate("EditorFilePage", "Additional File Filters"))
        self.label_5.setText(_translate("EditorFilePage", "<b>Note:</b> Save file filters must contain one wildcard pattern only."))
        self.openFiltersButton.setToolTip(_translate("EditorFilePage", "Select to edit the open file filters"))
        self.openFiltersButton.setText(_translate("EditorFilePage", "Open Files"))
        self.savFiltersButton.setToolTip(_translate("EditorFilePage", "Select to edit the save file filters"))
        self.savFiltersButton.setText(_translate("EditorFilePage", "Save Files"))
        self.fileFiltersList.setSortingEnabled(True)
        self.addFileFilterButton.setText(_translate("EditorFilePage", "Add..."))
        self.editFileFilterButton.setText(_translate("EditorFilePage", "Edit..."))
        self.deleteFileFilterButton.setText(_translate("EditorFilePage", "Delete"))
        self.groupBox_7.setTitle(_translate("EditorFilePage", "File Preview"))
        self.label_8.setText(_translate("EditorFilePage", "Refresh Timeout:"))
        self.previewRefreshTimeoutSpinBox.setToolTip(_translate("EditorFilePage", "Enter the timeout in milliseconds until the preview is refreshed"))
        self.previewRefreshTimeoutSpinBox.setSuffix(_translate("EditorFilePage", " ms"))
        self.groupBox_12.setTitle(_translate("EditorFilePage", "HTML Files"))
        self.label_12.setText(_translate("EditorFilePage", "File Extensions:"))
        self.previewHtmlExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of HTML files that may be previewed (separated by a space)"))
        self.groupBox_11.setTitle(_translate("EditorFilePage", "Markdown Files"))
        self.label_11.setText(_translate("EditorFilePage", "File Extensions:"))
        self.previewMarkdownExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of Markdown files that may be previewed (separated by a space)"))
        self.label_6.setText(_translate("EditorFilePage", "HTML Format:"))
        self.previewMarkdownHTMLFormatComboBox.setToolTip(_translate("EditorFilePage", "Select the HTML format to be generated"))
        self.previewMarkdownNLtoBreakCheckBox.setToolTip(_translate("EditorFilePage", "Select this to convert a new line character to an HTML &lt;br/&gt; tag."))
        self.previewMarkdownNLtoBreakCheckBox.setText(_translate("EditorFilePage", "Convert New Line to HTML Break"))
        self.previewMarkdownPyMdownCheckBox.setToolTip(_translate("EditorFilePage", "Select to enable the use of the PyMdown extensions"))
        self.previewMarkdownPyMdownCheckBox.setWhatsThis(_translate("EditorFilePage", "<b>Enable PyMdown Extensions</b>\n"
"<p>Select this entry to enable the use of the PyMdown extensions. These have to be installed with <code>pip install pymdown-extensions</code>.</p>"))
        self.previewMarkdownPyMdownCheckBox.setText(_translate("EditorFilePage", "Enable PyMdown Extensions"))
        self.previewMarkdownPyMdownInstallPushButton.setToolTip(_translate("EditorFilePage", "Press to install the PyMdown extensions"))
        self.previewMarkdownPyMdownInstallPushButton.setText(_translate("EditorFilePage", "Install PyMdown Extensions"))
        self.previewMarkdownMathJaxCheckBox.setToolTip(_translate("EditorFilePage", "Select to enable Math support using MathJax"))
        self.previewMarkdownMathJaxCheckBox.setText(_translate("EditorFilePage", "Enable Math support"))
        self.previewMarkdownMermaidCheckBox.setToolTip(_translate("EditorFilePage", "Select to enable Graph support using Mermaid"))
        self.previewMarkdownMermaidCheckBox.setText(_translate("EditorFilePage", "Enable Graph support"))
        self.TextLabel1_2_2_3.setText(_translate("EditorFilePage", "<font color=\"#FF0000\"><b>Warning:</b> Activating the above options will download files via CDNs causing your<br/>IP address to be exposed.</font>"))
        self.groupBox_10.setTitle(_translate("EditorFilePage", "ReST Files"))
        self.label_9.setText(_translate("EditorFilePage", "File Extensions:"))
        self.previewRestExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of ReStructuredText files that may be previewed (separated by a space)"))
        self.previewRestSphinxCheckBox.setToolTip(_translate("EditorFilePage", "Select to use \'sphinx\' to generate the ReST preview"))
        self.previewRestSphinxCheckBox.setText(_translate("EditorFilePage", "Use \'sphinx\' for ReST preview"))
        self.groupBox_13.setTitle(_translate("EditorFilePage", "Docutils"))
        self.label_7.setText(_translate("EditorFilePage", "HTML Format:"))
        self.previewRestDocutilsHTMLFormatComboBox.setToolTip(_translate("EditorFilePage", "Select the HTML format to be generated"))
        self.groupBox_9.setTitle(_translate("EditorFilePage", "QSS Files"))
        self.label_10.setText(_translate("EditorFilePage", "File Extensions:"))
        self.previewQssExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of Qt Stylesheet files that may be previewed (separated by a space)"))