def setupUi(self, Form): Form.setObjectName("Form") Form.resize(400, 300) self.gridLayout = QtWidgets.QGridLayout(Form) self.gridLayout.setObjectName("gridLayout") self.label = QtWidgets.QLabel(Form) self.label.setObjectName("label") self.gridLayout.addWidget(self.label, 0, 0, 1, 1) self.opt_format = QtWidgets.QComboBox(Form) self.opt_format.setObjectName("opt_format") self.gridLayout.addWidget(self.opt_format, 0, 1, 1, 1) spacerItem = QtWidgets.QSpacerItem(148, 246, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding) self.gridLayout.addItem(spacerItem, 3, 0, 1, 1) self.opt_inline_toc = QtWidgets.QCheckBox(Form) self.opt_inline_toc.setObjectName("opt_inline_toc") self.gridLayout.addWidget(self.opt_inline_toc, 2, 0, 1, 1) self.label_2 = QtWidgets.QLabel(Form) self.label_2.setObjectName("label_2") self.gridLayout.addWidget(self.label_2, 1, 0, 1, 1) self.opt_pdb_output_encoding = EncodingComboBox(Form) self.opt_pdb_output_encoding.setEditable(True) self.opt_pdb_output_encoding.setObjectName("opt_pdb_output_encoding") self.gridLayout.addWidget(self.opt_pdb_output_encoding, 1, 1, 1, 1) self.label.setBuddy(self.opt_format) self.label_2.setBuddy(self.opt_pdb_output_encoding) self.retranslateUi(Form) QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form): Form.setObjectName("Form") Form.resize(400, 300) self.gridLayout = QtWidgets.QGridLayout(Form) self.gridLayout.setObjectName("gridLayout") spacerItem = QtWidgets.QSpacerItem(20, 246, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding) self.gridLayout.addItem(spacerItem, 4, 0, 1, 1) self.opt_inline_toc = QtWidgets.QCheckBox(Form) self.opt_inline_toc.setObjectName("opt_inline_toc") self.gridLayout.addWidget(self.opt_inline_toc, 2, 0, 1, 1) self.opt_full_image_depth = QtWidgets.QCheckBox(Form) self.opt_full_image_depth.setObjectName("opt_full_image_depth") self.gridLayout.addWidget(self.opt_full_image_depth, 3, 0, 1, 1) self.horizontalLayout = QtWidgets.QHBoxLayout() self.horizontalLayout.setObjectName("horizontalLayout") self.label = QtWidgets.QLabel(Form) self.label.setObjectName("label") self.horizontalLayout.addWidget(self.label) self.opt_pml_output_encoding = EncodingComboBox(Form) self.opt_pml_output_encoding.setEditable(True) self.opt_pml_output_encoding.setObjectName("opt_pml_output_encoding") self.horizontalLayout.addWidget(self.opt_pml_output_encoding) self.gridLayout.addLayout(self.horizontalLayout, 1, 0, 1, 1) self.label.setBuddy(self.opt_pml_output_encoding) self.retranslateUi(Form) QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form): Form.setObjectName("Form") Form.resize(765, 619) self.verticalLayout_2 = QtWidgets.QVBoxLayout(Form) self.verticalLayout_2.setContentsMargins(0, 0, 0, 0) self.verticalLayout_2.setSpacing(0) self.verticalLayout_2.setObjectName("verticalLayout_2") self.MainTabs = QtWidgets.QTabWidget(Form) self.MainTabs.setObjectName("MainTabs") self.tab1 = QtWidgets.QWidget() self.tab1.setObjectName("tab1") self.formLayout = QtWidgets.QFormLayout(self.tab1) self.formLayout.setObjectName("formLayout") self.label_18 = QtWidgets.QLabel(self.tab1) self.label_18.setObjectName("label_18") self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_18) self.opt_base_font_size = QtWidgets.QDoubleSpinBox(self.tab1) self.opt_base_font_size.setDecimals(1) self.opt_base_font_size.setMinimum(0.0) self.opt_base_font_size.setMaximum(50.0) self.opt_base_font_size.setSingleStep(1.0) self.opt_base_font_size.setProperty("value", 15.0) self.opt_base_font_size.setObjectName("opt_base_font_size") self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.opt_base_font_size) self.label_2 = QtWidgets.QLabel(self.tab1) self.label_2.setObjectName("label_2") self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_2) self.horizontalLayout = QtWidgets.QHBoxLayout() self.horizontalLayout.setObjectName("horizontalLayout") self.opt_font_size_mapping = QtWidgets.QLineEdit(self.tab1) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.opt_font_size_mapping.sizePolicy().hasHeightForWidth()) self.opt_font_size_mapping.setSizePolicy(sizePolicy) self.opt_font_size_mapping.setObjectName("opt_font_size_mapping") self.horizontalLayout.addWidget(self.opt_font_size_mapping) self.button_font_key = QtWidgets.QToolButton(self.tab1) icon = QtGui.QIcon() icon.addPixmap(QtGui.QPixmap(I("wizard.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.button_font_key.setIcon(icon) self.button_font_key.setIconSize(QtCore.QSize(32, 32)) self.button_font_key.setObjectName("button_font_key") self.horizontalLayout.addWidget(self.button_font_key) self.formLayout.setLayout(2, QtWidgets.QFormLayout.FieldRole, self.horizontalLayout) self.label_6 = QtWidgets.QLabel(self.tab1) self.label_6.setObjectName("label_6") self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_6) self.opt_minimum_line_height = QtWidgets.QDoubleSpinBox(self.tab1) self.opt_minimum_line_height.setDecimals(1) self.opt_minimum_line_height.setMaximum(900.0) self.opt_minimum_line_height.setObjectName("opt_minimum_line_height") self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.opt_minimum_line_height) self.label = QtWidgets.QLabel(self.tab1) self.label.setObjectName("label") self.formLayout.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.label) self.opt_line_height = QtWidgets.QDoubleSpinBox(self.tab1) self.opt_line_height.setDecimals(1) self.opt_line_height.setObjectName("opt_line_height") self.formLayout.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.opt_line_height) self.label_10 = QtWidgets.QLabel(self.tab1) self.label_10.setObjectName("label_10") self.formLayout.setWidget(5, QtWidgets.QFormLayout.LabelRole, self.label_10) self.opt_embed_font_family = FontFamilyChooser(self.tab1) self.opt_embed_font_family.setObjectName("opt_embed_font_family") self.formLayout.setWidget(5, QtWidgets.QFormLayout.FieldRole, self.opt_embed_font_family) self.opt_embed_all_fonts = QtWidgets.QCheckBox(self.tab1) self.opt_embed_all_fonts.setObjectName("opt_embed_all_fonts") self.formLayout.setWidget(6, QtWidgets.QFormLayout.SpanningRole, self.opt_embed_all_fonts) self.opt_subset_embedded_fonts = QtWidgets.QCheckBox(self.tab1) self.opt_subset_embedded_fonts.setObjectName( "opt_subset_embedded_fonts") self.formLayout.setWidget(7, QtWidgets.QFormLayout.LabelRole, self.opt_subset_embedded_fonts) self.opt_expand_css = QtWidgets.QCheckBox(self.tab1) self.opt_expand_css.setObjectName("opt_expand_css") self.formLayout.setWidget(8, QtWidgets.QFormLayout.LabelRole, self.opt_expand_css) self.opt_keep_ligatures = QtWidgets.QCheckBox(self.tab1) self.opt_keep_ligatures.setObjectName("opt_keep_ligatures") self.formLayout.setWidget(9, QtWidgets.QFormLayout.LabelRole, self.opt_keep_ligatures) self.opt_disable_font_rescaling = QtWidgets.QCheckBox(self.tab1) self.opt_disable_font_rescaling.setObjectName( "opt_disable_font_rescaling") self.formLayout.setWidget(0, QtWidgets.QFormLayout.SpanningRole, self.opt_disable_font_rescaling) self.MainTabs.addTab(self.tab1, "") self.tab = QtWidgets.QWidget() self.tab.setObjectName("tab") self.formLayout_2 = QtWidgets.QFormLayout(self.tab) self.formLayout_2.setObjectName("formLayout_2") self.opt_input_encoding = EncodingComboBox(self.tab) self.opt_input_encoding.setEditable(True) self.opt_input_encoding.setObjectName("opt_input_encoding") self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.opt_input_encoding) self.label_5 = QtWidgets.QLabel(self.tab) self.label_5.setObjectName("label_5") self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_5) self.opt_change_justification = QtWidgets.QComboBox(self.tab) self.opt_change_justification.setObjectName("opt_change_justification") self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.opt_change_justification) self.opt_smarten_punctuation = QtWidgets.QCheckBox(self.tab) self.opt_smarten_punctuation.setObjectName("opt_smarten_punctuation") self.formLayout_2.setWidget(4, QtWidgets.QFormLayout.SpanningRole, self.opt_smarten_punctuation) self.opt_unsmarten_punctuation = QtWidgets.QCheckBox(self.tab) self.opt_unsmarten_punctuation.setObjectName( "opt_unsmarten_punctuation") self.formLayout_2.setWidget(5, QtWidgets.QFormLayout.SpanningRole, self.opt_unsmarten_punctuation) self.opt_asciiize = QtWidgets.QCheckBox(self.tab) self.opt_asciiize.setObjectName("opt_asciiize") self.formLayout_2.setWidget(7, QtWidgets.QFormLayout.SpanningRole, self.opt_asciiize) self.label_3 = QtWidgets.QLabel(self.tab) self.label_3.setObjectName("label_3") self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_3) self.MainTabs.addTab(self.tab, "") self.tab_2 = QtWidgets.QWidget() self.tab_2.setObjectName("tab_2") self.gridLayout = QtWidgets.QGridLayout(self.tab_2) self.gridLayout.setObjectName("gridLayout") self.label_7 = QtWidgets.QLabel(self.tab_2) self.label_7.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.label_7.setObjectName("label_7") self.gridLayout.addWidget(self.label_7, 1, 1, 1, 1) self.opt_remove_paragraph_spacing_indent_size = QtWidgets.QDoubleSpinBox( self.tab_2) self.opt_remove_paragraph_spacing_indent_size.setDecimals(1) self.opt_remove_paragraph_spacing_indent_size.setMinimum(-0.1) self.opt_remove_paragraph_spacing_indent_size.setSingleStep(0.1) self.opt_remove_paragraph_spacing_indent_size.setObjectName( "opt_remove_paragraph_spacing_indent_size") self.gridLayout.addWidget( self.opt_remove_paragraph_spacing_indent_size, 0, 2, 1, 1) self.opt_insert_blank_line = QtWidgets.QCheckBox(self.tab_2) self.opt_insert_blank_line.setObjectName("opt_insert_blank_line") self.gridLayout.addWidget(self.opt_insert_blank_line, 1, 0, 1, 1) self.opt_remove_paragraph_spacing = QtWidgets.QCheckBox(self.tab_2) self.opt_remove_paragraph_spacing.setObjectName( "opt_remove_paragraph_spacing") self.gridLayout.addWidget(self.opt_remove_paragraph_spacing, 0, 0, 1, 1) self.opt_insert_blank_line_size = QtWidgets.QDoubleSpinBox(self.tab_2) self.opt_insert_blank_line_size.setDecimals(1) self.opt_insert_blank_line_size.setObjectName( "opt_insert_blank_line_size") self.gridLayout.addWidget(self.opt_insert_blank_line_size, 1, 2, 1, 1) self.label_4 = QtWidgets.QLabel(self.tab_2) self.label_4.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.label_4.setObjectName("label_4") self.gridLayout.addWidget(self.label_4, 0, 1, 1, 1) self.opt_linearize_tables = QtWidgets.QCheckBox(self.tab_2) self.opt_linearize_tables.setObjectName("opt_linearize_tables") self.gridLayout.addWidget(self.opt_linearize_tables, 2, 0, 1, 1) spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding) self.gridLayout.addItem(spacerItem, 3, 0, 1, 1) self.MainTabs.addTab(self.tab_2, "") self.tab_3 = QtWidgets.QWidget() self.tab_3.setObjectName("tab_3") self.verticalLayout = QtWidgets.QVBoxLayout(self.tab_3) self.verticalLayout.setObjectName("verticalLayout") self.groupBox = QtWidgets.QGroupBox(self.tab_3) self.groupBox.setObjectName("groupBox") self.gridLayout_4 = QtWidgets.QGridLayout(self.groupBox) self.gridLayout_4.setObjectName("gridLayout_4") self.opt_extra_css = QtWidgets.QPlainTextEdit(self.groupBox) self.opt_extra_css.setObjectName("opt_extra_css") self.gridLayout_4.addWidget(self.opt_extra_css, 0, 0, 1, 1) self.verticalLayout.addWidget(self.groupBox) self.opt_filter_css = QtWidgets.QGroupBox(self.tab_3) self.opt_filter_css.setObjectName("opt_filter_css") self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.opt_filter_css) self.verticalLayout_3.setObjectName("verticalLayout_3") self.label_8 = QtWidgets.QLabel(self.opt_filter_css) self.label_8.setWordWrap(True) self.label_8.setObjectName("label_8") self.verticalLayout_3.addWidget(self.label_8) self.horizontalLayout_3 = QtWidgets.QHBoxLayout() self.horizontalLayout_3.setObjectName("horizontalLayout_3") self.filter_css_fonts = QtWidgets.QCheckBox(self.opt_filter_css) self.filter_css_fonts.setObjectName("filter_css_fonts") self.horizontalLayout_3.addWidget(self.filter_css_fonts) self.filter_css_margins = QtWidgets.QCheckBox(self.opt_filter_css) self.filter_css_margins.setObjectName("filter_css_margins") self.horizontalLayout_3.addWidget(self.filter_css_margins) self.filter_css_padding = QtWidgets.QCheckBox(self.opt_filter_css) self.filter_css_padding.setObjectName("filter_css_padding") self.horizontalLayout_3.addWidget(self.filter_css_padding) self.filter_css_floats = QtWidgets.QCheckBox(self.opt_filter_css) self.filter_css_floats.setObjectName("filter_css_floats") self.horizontalLayout_3.addWidget(self.filter_css_floats) self.filter_css_colors = QtWidgets.QCheckBox(self.opt_filter_css) self.filter_css_colors.setObjectName("filter_css_colors") self.horizontalLayout_3.addWidget(self.filter_css_colors) self.verticalLayout_3.addLayout(self.horizontalLayout_3) self.horizontalLayout_4 = QtWidgets.QHBoxLayout() self.horizontalLayout_4.setObjectName("horizontalLayout_4") self.label_9 = QtWidgets.QLabel(self.opt_filter_css) self.label_9.setObjectName("label_9") self.horizontalLayout_4.addWidget(self.label_9) self.filter_css_others = QtWidgets.QLineEdit(self.opt_filter_css) self.filter_css_others.setObjectName("filter_css_others") self.horizontalLayout_4.addWidget(self.filter_css_others) self.verticalLayout_3.addLayout(self.horizontalLayout_4) self.verticalLayout.addWidget(self.opt_filter_css) self.MainTabs.addTab(self.tab_3, "") self.tab_4 = QtWidgets.QWidget() self.tab_4.setObjectName("tab_4") self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.tab_4) self.verticalLayout_4.setContentsMargins(0, 0, 0, 0) self.verticalLayout_4.setSpacing(0) self.verticalLayout_4.setObjectName("verticalLayout_4") self.opt_transform_css_rules = RulesWidget(self.tab_4) self.opt_transform_css_rules.setObjectName("opt_transform_css_rules") self.verticalLayout_4.addWidget(self.opt_transform_css_rules) self.MainTabs.addTab(self.tab_4, "") self.verticalLayout_2.addWidget(self.MainTabs) self.label_18.setBuddy(self.opt_base_font_size) self.label_2.setBuddy(self.opt_font_size_mapping) self.label_6.setBuddy(self.opt_minimum_line_height) self.label.setBuddy(self.opt_line_height) self.label_10.setBuddy(self.opt_embed_font_family) self.label_5.setBuddy(self.opt_change_justification) self.label_3.setBuddy(self.opt_input_encoding) self.label_7.setBuddy(self.opt_insert_blank_line_size) self.label_4.setBuddy(self.opt_remove_paragraph_spacing_indent_size) self.label_9.setBuddy(self.filter_css_others) self.retranslateUi(Form) self.MainTabs.setCurrentIndex(0) self.opt_disable_font_rescaling.toggled['bool'].connect( self.opt_base_font_size.setDisabled) self.opt_disable_font_rescaling.toggled['bool'].connect( self.opt_font_size_mapping.setDisabled) self.opt_remove_paragraph_spacing.toggled['bool'].connect( self.label_4.setEnabled) self.opt_remove_paragraph_spacing.toggled['bool'].connect( self.opt_remove_paragraph_spacing_indent_size.setEnabled) QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form): Form.setObjectName(_fromUtf8("Form")) Form.resize(392, 346) self.verticalLayout_2 = QtGui.QVBoxLayout(Form) self.verticalLayout_2.setObjectName(_fromUtf8("verticalLayout_2")) self.groupBox = QtGui.QGroupBox(Form) self.groupBox.setObjectName(_fromUtf8("groupBox")) self.gridLayout = QtGui.QGridLayout(self.groupBox) self.gridLayout.setObjectName(_fromUtf8("gridLayout")) self.label_3 = QtGui.QLabel(self.groupBox) self.label_3.setObjectName(_fromUtf8("label_3")) self.gridLayout.addWidget(self.label_3, 0, 0, 1, 1) self.opt_txt_output_encoding = EncodingComboBox(self.groupBox) self.opt_txt_output_encoding.setEditable(True) self.opt_txt_output_encoding.setObjectName( _fromUtf8("opt_txt_output_encoding")) self.gridLayout.addWidget(self.opt_txt_output_encoding, 0, 1, 1, 1) self.label = QtGui.QLabel(self.groupBox) self.label.setObjectName(_fromUtf8("label")) self.gridLayout.addWidget(self.label, 1, 0, 1, 1) self.opt_newline = QtGui.QComboBox(self.groupBox) self.opt_newline.setObjectName(_fromUtf8("opt_newline")) self.gridLayout.addWidget(self.opt_newline, 1, 1, 1, 1) self.label_4 = QtGui.QLabel(self.groupBox) self.label_4.setObjectName(_fromUtf8("label_4")) self.gridLayout.addWidget(self.label_4, 2, 0, 1, 1) self.opt_txt_output_formatting = QtGui.QComboBox(self.groupBox) self.opt_txt_output_formatting.setObjectName( _fromUtf8("opt_txt_output_formatting")) self.gridLayout.addWidget(self.opt_txt_output_formatting, 2, 1, 1, 1) self.verticalLayout_2.addWidget(self.groupBox) self.groupBox_2 = QtGui.QGroupBox(Form) self.groupBox_2.setObjectName(_fromUtf8("groupBox_2")) self.gridLayout_2 = QtGui.QGridLayout(self.groupBox_2) self.gridLayout_2.setObjectName(_fromUtf8("gridLayout_2")) self.label_2 = QtGui.QLabel(self.groupBox_2) self.label_2.setObjectName(_fromUtf8("label_2")) self.gridLayout_2.addWidget(self.label_2, 1, 0, 1, 1) self.opt_max_line_length = QtGui.QSpinBox(self.groupBox_2) self.opt_max_line_length.setObjectName( _fromUtf8("opt_max_line_length")) self.gridLayout_2.addWidget(self.opt_max_line_length, 1, 1, 1, 1) self.opt_force_max_line_length = QtGui.QCheckBox(self.groupBox_2) self.opt_force_max_line_length.setObjectName( _fromUtf8("opt_force_max_line_length")) self.gridLayout_2.addWidget(self.opt_force_max_line_length, 2, 0, 1, 2) self.opt_inline_toc = QtGui.QCheckBox(self.groupBox_2) self.opt_inline_toc.setObjectName(_fromUtf8("opt_inline_toc")) self.gridLayout_2.addWidget(self.opt_inline_toc, 0, 0, 1, 1) self.verticalLayout_2.addWidget(self.groupBox_2) self.groupBox_3 = QtGui.QGroupBox(Form) self.groupBox_3.setObjectName(_fromUtf8("groupBox_3")) self.verticalLayout = QtGui.QVBoxLayout(self.groupBox_3) self.verticalLayout.setObjectName(_fromUtf8("verticalLayout")) self.opt_keep_links = QtGui.QCheckBox(self.groupBox_3) self.opt_keep_links.setObjectName(_fromUtf8("opt_keep_links")) self.verticalLayout.addWidget(self.opt_keep_links) self.opt_keep_image_references = QtGui.QCheckBox(self.groupBox_3) self.opt_keep_image_references.setObjectName( _fromUtf8("opt_keep_image_references")) self.verticalLayout.addWidget(self.opt_keep_image_references) self.opt_keep_color = QtGui.QCheckBox(self.groupBox_3) self.opt_keep_color.setObjectName(_fromUtf8("opt_keep_color")) self.verticalLayout.addWidget(self.opt_keep_color) self.verticalLayout_2.addWidget(self.groupBox_3) self.label_3.setBuddy(self.opt_txt_output_encoding) self.label.setBuddy(self.opt_newline) self.label_4.setBuddy(self.opt_txt_output_formatting) self.label_2.setBuddy(self.opt_max_line_length) self.retranslateUi(Form) QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form): Form.setObjectName(_fromUtf8("Form")) Form.resize(655, 522) self.gridLayout = QtGui.QGridLayout(Form) self.gridLayout.setObjectName(_fromUtf8("gridLayout")) self.opt_disable_font_rescaling = QtGui.QCheckBox(Form) self.opt_disable_font_rescaling.setObjectName( _fromUtf8("opt_disable_font_rescaling")) self.gridLayout.addWidget(self.opt_disable_font_rescaling, 0, 0, 1, 1) self.label_18 = QtGui.QLabel(Form) self.label_18.setObjectName(_fromUtf8("label_18")) self.gridLayout.addWidget(self.label_18, 1, 0, 1, 1) self.opt_base_font_size = QtGui.QDoubleSpinBox(Form) self.opt_base_font_size.setDecimals(1) self.opt_base_font_size.setMinimum(0.0) self.opt_base_font_size.setMaximum(50.0) self.opt_base_font_size.setSingleStep(1.0) self.opt_base_font_size.setProperty("value", 15.0) self.opt_base_font_size.setObjectName(_fromUtf8("opt_base_font_size")) self.gridLayout.addWidget(self.opt_base_font_size, 1, 1, 1, 1) self.label_2 = QtGui.QLabel(Form) self.label_2.setObjectName(_fromUtf8("label_2")) self.gridLayout.addWidget(self.label_2, 2, 0, 1, 1) self.horizontalLayout = QtGui.QHBoxLayout() self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout")) self.opt_font_size_mapping = QtGui.QLineEdit(Form) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.opt_font_size_mapping.sizePolicy().hasHeightForWidth()) self.opt_font_size_mapping.setSizePolicy(sizePolicy) self.opt_font_size_mapping.setObjectName( _fromUtf8("opt_font_size_mapping")) self.horizontalLayout.addWidget(self.opt_font_size_mapping) self.button_font_key = QtGui.QToolButton(Form) icon = QtGui.QIcon() icon.addPixmap(QtGui.QPixmap(_fromUtf8(I("wizard.png"))), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.button_font_key.setIcon(icon) self.button_font_key.setIconSize(QtCore.QSize(32, 32)) self.button_font_key.setObjectName(_fromUtf8("button_font_key")) self.horizontalLayout.addWidget(self.button_font_key) self.gridLayout.addLayout(self.horizontalLayout, 2, 1, 1, 3) self.label_6 = QtGui.QLabel(Form) self.label_6.setObjectName(_fromUtf8("label_6")) self.gridLayout.addWidget(self.label_6, 3, 0, 1, 1) self.opt_minimum_line_height = QtGui.QDoubleSpinBox(Form) self.opt_minimum_line_height.setDecimals(1) self.opt_minimum_line_height.setMaximum(900.0) self.opt_minimum_line_height.setObjectName( _fromUtf8("opt_minimum_line_height")) self.gridLayout.addWidget(self.opt_minimum_line_height, 3, 1, 1, 1) self.label = QtGui.QLabel(Form) self.label.setObjectName(_fromUtf8("label")) self.gridLayout.addWidget(self.label, 4, 0, 1, 1) self.opt_line_height = QtGui.QDoubleSpinBox(Form) self.opt_line_height.setDecimals(1) self.opt_line_height.setObjectName(_fromUtf8("opt_line_height")) self.gridLayout.addWidget(self.opt_line_height, 4, 1, 1, 1) self.label_3 = QtGui.QLabel(Form) self.label_3.setObjectName(_fromUtf8("label_3")) self.gridLayout.addWidget(self.label_3, 5, 0, 1, 1) self.opt_input_encoding = EncodingComboBox(Form) self.opt_input_encoding.setEditable(True) self.opt_input_encoding.setObjectName(_fromUtf8("opt_input_encoding")) self.gridLayout.addWidget(self.opt_input_encoding, 5, 1, 1, 2) self.opt_remove_paragraph_spacing = QtGui.QCheckBox(Form) self.opt_remove_paragraph_spacing.setObjectName( _fromUtf8("opt_remove_paragraph_spacing")) self.gridLayout.addWidget(self.opt_remove_paragraph_spacing, 6, 0, 1, 2) self.label_4 = QtGui.QLabel(Form) self.label_4.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.label_4.setObjectName(_fromUtf8("label_4")) self.gridLayout.addWidget(self.label_4, 6, 3, 1, 1) self.opt_remove_paragraph_spacing_indent_size = QtGui.QDoubleSpinBox( Form) self.opt_remove_paragraph_spacing_indent_size.setDecimals(1) self.opt_remove_paragraph_spacing_indent_size.setMinimum(-0.1) self.opt_remove_paragraph_spacing_indent_size.setSingleStep(0.1) self.opt_remove_paragraph_spacing_indent_size.setObjectName( _fromUtf8("opt_remove_paragraph_spacing_indent_size")) self.gridLayout.addWidget( self.opt_remove_paragraph_spacing_indent_size, 6, 4, 1, 1) self.opt_insert_blank_line = QtGui.QCheckBox(Form) self.opt_insert_blank_line.setObjectName( _fromUtf8("opt_insert_blank_line")) self.gridLayout.addWidget(self.opt_insert_blank_line, 7, 0, 1, 2) self.label_7 = QtGui.QLabel(Form) self.label_7.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.label_7.setObjectName(_fromUtf8("label_7")) self.gridLayout.addWidget(self.label_7, 7, 3, 1, 1) self.opt_insert_blank_line_size = QtGui.QDoubleSpinBox(Form) self.opt_insert_blank_line_size.setDecimals(1) self.opt_insert_blank_line_size.setObjectName( _fromUtf8("opt_insert_blank_line_size")) self.gridLayout.addWidget(self.opt_insert_blank_line_size, 7, 4, 1, 1) self.label_5 = QtGui.QLabel(Form) self.label_5.setObjectName(_fromUtf8("label_5")) self.gridLayout.addWidget(self.label_5, 8, 0, 1, 1) self.opt_change_justification = QtGui.QComboBox(Form) self.opt_change_justification.setObjectName( _fromUtf8("opt_change_justification")) self.gridLayout.addWidget(self.opt_change_justification, 8, 2, 1, 3) self.opt_smarten_punctuation = QtGui.QCheckBox(Form) self.opt_smarten_punctuation.setObjectName( _fromUtf8("opt_smarten_punctuation")) self.gridLayout.addWidget(self.opt_smarten_punctuation, 9, 0, 1, 1) self.opt_asciiize = QtGui.QCheckBox(Form) self.opt_asciiize.setObjectName(_fromUtf8("opt_asciiize")) self.gridLayout.addWidget(self.opt_asciiize, 9, 1, 1, 4) self.opt_unsmarten_punctuation = QtGui.QCheckBox(Form) self.opt_unsmarten_punctuation.setObjectName( _fromUtf8("opt_unsmarten_punctuation")) self.gridLayout.addWidget(self.opt_unsmarten_punctuation, 10, 0, 1, 1) self.opt_keep_ligatures = QtGui.QCheckBox(Form) self.opt_keep_ligatures.setObjectName(_fromUtf8("opt_keep_ligatures")) self.gridLayout.addWidget(self.opt_keep_ligatures, 10, 1, 1, 2) self.opt_linearize_tables = QtGui.QCheckBox(Form) self.opt_linearize_tables.setObjectName( _fromUtf8("opt_linearize_tables")) self.gridLayout.addWidget(self.opt_linearize_tables, 10, 3, 1, 1) self.tabWidget = QtGui.QTabWidget(Form) self.tabWidget.setObjectName(_fromUtf8("tabWidget")) self.extra_css_tab = QtGui.QWidget() self.extra_css_tab.setObjectName(_fromUtf8("extra_css_tab")) self.gridLayout_2 = QtGui.QGridLayout(self.extra_css_tab) self.gridLayout_2.setObjectName(_fromUtf8("gridLayout_2")) self.opt_extra_css = QtGui.QTextEdit(self.extra_css_tab) self.opt_extra_css.setObjectName(_fromUtf8("opt_extra_css")) self.gridLayout_2.addWidget(self.opt_extra_css, 0, 0, 1, 1) self.tabWidget.addTab(self.extra_css_tab, _fromUtf8("")) self.opt_filter_css = QtGui.QWidget() self.opt_filter_css.setObjectName(_fromUtf8("opt_filter_css")) self.gridLayout_3 = QtGui.QGridLayout(self.opt_filter_css) self.gridLayout_3.setObjectName(_fromUtf8("gridLayout_3")) self.label_8 = QtGui.QLabel(self.opt_filter_css) self.label_8.setWordWrap(True) self.label_8.setObjectName(_fromUtf8("label_8")) self.gridLayout_3.addWidget(self.label_8, 0, 0, 1, 5) self.filter_css_fonts = QtGui.QCheckBox(self.opt_filter_css) self.filter_css_fonts.setObjectName(_fromUtf8("filter_css_fonts")) self.gridLayout_3.addWidget(self.filter_css_fonts, 1, 0, 1, 1) self.filter_css_margins = QtGui.QCheckBox(self.opt_filter_css) self.filter_css_margins.setObjectName(_fromUtf8("filter_css_margins")) self.gridLayout_3.addWidget(self.filter_css_margins, 1, 1, 1, 1) self.filter_css_padding = QtGui.QCheckBox(self.opt_filter_css) self.filter_css_padding.setObjectName(_fromUtf8("filter_css_padding")) self.gridLayout_3.addWidget(self.filter_css_padding, 1, 2, 1, 1) self.filter_css_floats = QtGui.QCheckBox(self.opt_filter_css) self.filter_css_floats.setObjectName(_fromUtf8("filter_css_floats")) self.gridLayout_3.addWidget(self.filter_css_floats, 1, 3, 1, 1) self.filter_css_colors = QtGui.QCheckBox(self.opt_filter_css) self.filter_css_colors.setObjectName(_fromUtf8("filter_css_colors")) self.gridLayout_3.addWidget(self.filter_css_colors, 1, 4, 1, 1) self.horizontalLayout_2 = QtGui.QHBoxLayout() self.horizontalLayout_2.setObjectName(_fromUtf8("horizontalLayout_2")) self.label_9 = QtGui.QLabel(self.opt_filter_css) self.label_9.setObjectName(_fromUtf8("label_9")) self.horizontalLayout_2.addWidget(self.label_9) self.filter_css_others = QtGui.QLineEdit(self.opt_filter_css) self.filter_css_others.setObjectName(_fromUtf8("filter_css_others")) self.horizontalLayout_2.addWidget(self.filter_css_others) self.gridLayout_3.addLayout(self.horizontalLayout_2, 2, 0, 1, 5) self.tabWidget.addTab(self.opt_filter_css, _fromUtf8("")) self.gridLayout.addWidget(self.tabWidget, 11, 0, 1, 5) self.label_18.setBuddy(self.opt_base_font_size) self.label_2.setBuddy(self.opt_font_size_mapping) self.label_6.setBuddy(self.opt_minimum_line_height) self.label.setBuddy(self.opt_line_height) self.label_3.setBuddy(self.opt_input_encoding) self.label_4.setBuddy(self.opt_remove_paragraph_spacing_indent_size) self.label_7.setBuddy(self.opt_insert_blank_line_size) self.label_5.setBuddy(self.opt_change_justification) self.label_9.setBuddy(self.filter_css_others) self.retranslateUi(Form) self.tabWidget.setCurrentIndex(0) QtCore.QObject.connect(self.opt_disable_font_rescaling, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), self.opt_base_font_size.setDisabled) QtCore.QObject.connect(self.opt_disable_font_rescaling, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), self.opt_font_size_mapping.setDisabled) QtCore.QObject.connect(self.opt_remove_paragraph_spacing, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), self.label_4.setEnabled) QtCore.QObject.connect( self.opt_remove_paragraph_spacing, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), self.opt_remove_paragraph_spacing_indent_size.setEnabled) QtCore.QMetaObject.connectSlotsByName(Form)