def create_option_text_fonts(self): # pragma: no cover """ Creates the 'text_fonts' option and returns it. This option allows for the fonts used in the GUI to be modified. """ # PLAIN TEXT # Create a font families combobox plain_box = QW.QFontComboBox() plain_box.setFontFilters(QW.QFontComboBox.MonospacedFonts) plain_box.setEditable(True) plain_box.setInsertPolicy(plain_box.NoInsert) plain_box.completer().setCompletionMode(QW.QCompleter.PopupCompletion) # Create a font size spinbox plain_size = QW_QSpinBox() plain_size.setRange(7, 9999999) plain_size.setSuffix(" pts") # RICH TEXT # Create a font families combobox rich_box = QW.QFontComboBox() rich_box.setEditable(True) rich_box.setInsertPolicy(rich_box.NoInsert) rich_box.completer().setCompletionMode(QW.QCompleter.PopupCompletion) # Create a font size spinbox rich_size = QW_QSpinBox() rich_size.setRange(7, 9999999) rich_size.setSuffix(" pts") # Create a grid for the families and size boxes font_grid = QW.QGridLayout() font_grid.setColumnStretch(1, 2) font_grid.setColumnStretch(3, 1) # Add everything to this grid font_grid.addWidget(QW.QLabel("Plain text:"), 0, 0) font_grid.addWidget(plain_box, 0, 1) font_grid.addWidget(QW.QLabel("Size:"), 0, 2) font_grid.addWidget(plain_size, 0, 3) font_grid.addWidget(QW.QLabel("Rich text:"), 1, 0) font_grid.addWidget(rich_box, 1, 1) font_grid.addWidget(QW.QLabel("Size:"), 1, 2) font_grid.addWidget(rich_size, 1, 3) font_grid.addWidget(QW.QLabel("NOTE: Does not work yet"), 2, 0, 1, 4) # Return the grid return(font_grid,)
def __init__(self, textEdit): QtWidgets.QToolBar.__init__(self, 'Font') self.text = textEdit self.fontFamily = QtWidgets.QFontComboBox(self) self.fontFamily.currentFontChanged.connect(self.FontFamily) fontSize = QtWidgets.QComboBox(self) fontSize.setEditable(True) fontSize.setMinimumContentsLength(3) fontSize.activated.connect(self.FontSize) flist = [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 24, 26, 28, 32, 36, 40, 44, 48, 54, 60, 66, 72, 80, 88, 96] for i in flist: fontSize.addItem(str(i)) space1 = QtWidgets.QLabel(" ", self) space2 = QtWidgets.QLabel(" ", self) self.addWidget(self.fontFamily) self.addWidget(space1) self.addWidget(fontSize) self.addWidget(space2)
def __init__(self, context, model, parent): FormWidget.__init__(self, context, model, parent) self.fixed_font = QtWidgets.QFontComboBox() self.font_size = standard.SpinBox(value=12, mini=8, maxi=192) self.maxrecent = standard.SpinBox(maxi=99) self.tabwidth = standard.SpinBox(maxi=42) self.textwidth = standard.SpinBox(maxi=150) self.editor = QtWidgets.QLineEdit() self.historybrowser = QtWidgets.QLineEdit() self.blameviewer = QtWidgets.QLineEdit() self.difftool = QtWidgets.QLineEdit() self.mergetool = QtWidgets.QLineEdit() self.linebreak = qtutils.checkbox() self.keep_merge_backups = qtutils.checkbox() self.sort_bookmarks = qtutils.checkbox() self.save_window_settings = qtutils.checkbox() self.check_spelling = qtutils.checkbox() self.expandtab = qtutils.checkbox() self.add_row(N_('Fixed-Width Font'), self.fixed_font) self.add_row(N_('Font Size'), self.font_size) self.add_row(N_('Editor'), self.editor) self.add_row(N_('History Browser'), self.historybrowser) self.add_row(N_('Blame Viewer'), self.blameviewer) self.add_row(N_('Diff Tool'), self.difftool) self.add_row(N_('Merge Tool'), self.mergetool) self.add_row(N_('Recent repository count'), self.maxrecent) self.add_row(N_('Auto-Wrap Lines'), self.linebreak) self.add_row(N_('Insert spaces instead of tabs'), self.expandtab) self.add_row(N_('Sort bookmarks alphabetically'), self.sort_bookmarks) self.add_row(N_('Keep *.orig Merge Backups'), self.keep_merge_backups) self.add_row(N_('Save GUI Settings'), self.save_window_settings) self.add_row(N_('Check spelling'), self.check_spelling) self.set_config({ prefs.SAVEWINDOWSETTINGS: (self.save_window_settings, Defaults.save_window_settings), prefs.TABWIDTH: (self.tabwidth, Defaults.tabwidth), prefs.EXPANDTAB: (self.expandtab, Defaults.expandtab), prefs.TEXTWIDTH: (self.textwidth, Defaults.textwidth), prefs.LINEBREAK: (self.linebreak, Defaults.linebreak), prefs.MAXRECENT: (self.maxrecent, Defaults.maxrecent), prefs.SORT_BOOKMARKS: (self.sort_bookmarks, Defaults.sort_bookmarks), prefs.DIFFTOOL: (self.difftool, Defaults.difftool), prefs.EDITOR: (self.editor, os.getenv('VISUAL', Defaults.editor)), prefs.HISTORY_BROWSER: (self.historybrowser, prefs.default_history_browser()), prefs.BLAME_VIEWER: (self.blameviewer, Defaults.blame_viewer), prefs.MERGE_KEEPBACKUP: (self.keep_merge_backups, Defaults.merge_keep_backup), prefs.MERGETOOL: (self.mergetool, Defaults.mergetool), prefs.SPELL_CHECK: (self.check_spelling, Defaults.spellcheck), }) self.fixed_font.currentFontChanged.connect(self.current_font_changed) self.font_size.valueChanged.connect(self.font_size_changed)
def setupUi(self, DockWidget): DockWidget.setObjectName("DockWidget") DockWidget.resize(703, 521) self.dockWidgetContents = QtWidgets.QWidget() self.dockWidgetContents.setObjectName("dockWidgetContents") self.gridLayout = QtWidgets.QGridLayout(self.dockWidgetContents) self.gridLayout.setObjectName("gridLayout") self.lineEdit = QtWidgets.QLineEdit(self.dockWidgetContents) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.lineEdit.sizePolicy().hasHeightForWidth()) self.lineEdit.setSizePolicy(sizePolicy) self.lineEdit.setMinimumSize(QtCore.QSize(0, 0)) self.lineEdit.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.lineEdit.setObjectName("lineEdit") self.gridLayout.addWidget(self.lineEdit, 2, 1, 1, 1) self.lineEditDis = QtWidgets.QLineEdit(self.dockWidgetContents) self.lineEditDis.setEnabled(False) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.lineEditDis.sizePolicy().hasHeightForWidth()) self.lineEditDis.setSizePolicy(sizePolicy) self.lineEditDis.setMinimumSize(QtCore.QSize(0, 0)) self.lineEditDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.lineEditDis.setObjectName("lineEditDis") self.gridLayout.addWidget(self.lineEditDis, 2, 2, 1, 1) self.label_14 = QtWidgets.QLabel(self.dockWidgetContents) self.label_14.setMinimumSize(QtCore.QSize(0, 0)) self.label_14.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_14.setFont(font) self.label_14.setObjectName("label_14") self.gridLayout.addWidget(self.label_14, 3, 0, 1, 1) self.spinBox = QtWidgets.QSpinBox(self.dockWidgetContents) self.spinBox.setMinimumSize(QtCore.QSize(0, 0)) self.spinBox.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.spinBox.setObjectName("spinBox") self.gridLayout.addWidget(self.spinBox, 5, 1, 1, 1) self.textEdit = QtWidgets.QTextEdit(self.dockWidgetContents) self.textEdit.setMinimumSize(QtCore.QSize(0, 0)) self.textEdit.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.textEdit.setObjectName("textEdit") self.gridLayout.addWidget(self.textEdit, 3, 1, 1, 1) self.textEditDis = QtWidgets.QTextEdit(self.dockWidgetContents) self.textEditDis.setEnabled(False) self.textEditDis.setMinimumSize(QtCore.QSize(0, 0)) self.textEditDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.textEditDis.setObjectName("textEditDis") self.gridLayout.addWidget(self.textEditDis, 3, 2, 1, 1) self.label_15 = QtWidgets.QLabel(self.dockWidgetContents) self.label_15.setMinimumSize(QtCore.QSize(0, 0)) self.label_15.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_15.setFont(font) self.label_15.setObjectName("label_15") self.gridLayout.addWidget(self.label_15, 4, 0, 1, 1) self.plainTextEdit = QtWidgets.QPlainTextEdit(self.dockWidgetContents) self.plainTextEdit.setMinimumSize(QtCore.QSize(0, 0)) self.plainTextEdit.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.plainTextEdit.setObjectName("plainTextEdit") self.gridLayout.addWidget(self.plainTextEdit, 4, 1, 1, 1) self.plainTextEditDis = QtWidgets.QPlainTextEdit( self.dockWidgetContents) self.plainTextEditDis.setEnabled(False) self.plainTextEditDis.setMinimumSize(QtCore.QSize(0, 0)) self.plainTextEditDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.plainTextEditDis.setObjectName("plainTextEditDis") self.gridLayout.addWidget(self.plainTextEditDis, 4, 2, 1, 1) self.label_16 = QtWidgets.QLabel(self.dockWidgetContents) self.label_16.setMinimumSize(QtCore.QSize(0, 0)) self.label_16.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_16.setFont(font) self.label_16.setObjectName("label_16") self.gridLayout.addWidget(self.label_16, 5, 0, 1, 1) self.spinBoxDis = QtWidgets.QSpinBox(self.dockWidgetContents) self.spinBoxDis.setEnabled(False) self.spinBoxDis.setMinimumSize(QtCore.QSize(0, 0)) self.spinBoxDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.spinBoxDis.setObjectName("spinBoxDis") self.gridLayout.addWidget(self.spinBoxDis, 5, 2, 1, 1) self.label_17 = QtWidgets.QLabel(self.dockWidgetContents) self.label_17.setMinimumSize(QtCore.QSize(0, 0)) self.label_17.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_17.setFont(font) self.label_17.setObjectName("label_17") self.gridLayout.addWidget(self.label_17, 6, 0, 1, 1) self.doubleSpinBox = QtWidgets.QDoubleSpinBox(self.dockWidgetContents) self.doubleSpinBox.setMinimumSize(QtCore.QSize(0, 0)) self.doubleSpinBox.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.doubleSpinBox.setObjectName("doubleSpinBox") self.gridLayout.addWidget(self.doubleSpinBox, 6, 1, 1, 1) self.doubleSpinBoxDis = QtWidgets.QDoubleSpinBox( self.dockWidgetContents) self.doubleSpinBoxDis.setEnabled(False) self.doubleSpinBoxDis.setMinimumSize(QtCore.QSize(0, 0)) self.doubleSpinBoxDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.doubleSpinBoxDis.setObjectName("doubleSpinBoxDis") self.gridLayout.addWidget(self.doubleSpinBoxDis, 6, 2, 1, 1) self.label_18 = QtWidgets.QLabel(self.dockWidgetContents) self.label_18.setMinimumSize(QtCore.QSize(0, 0)) self.label_18.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_18.setFont(font) self.label_18.setObjectName("label_18") self.gridLayout.addWidget(self.label_18, 7, 0, 1, 1) self.timeEdit = QtWidgets.QTimeEdit(self.dockWidgetContents) self.timeEdit.setMinimumSize(QtCore.QSize(0, 0)) self.timeEdit.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.timeEdit.setObjectName("timeEdit") self.gridLayout.addWidget(self.timeEdit, 7, 1, 1, 1) self.timeEditDis = QtWidgets.QTimeEdit(self.dockWidgetContents) self.timeEditDis.setEnabled(False) self.timeEditDis.setMinimumSize(QtCore.QSize(0, 0)) self.timeEditDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.timeEditDis.setObjectName("timeEditDis") self.gridLayout.addWidget(self.timeEditDis, 7, 2, 1, 1) self.label_19 = QtWidgets.QLabel(self.dockWidgetContents) self.label_19.setMinimumSize(QtCore.QSize(0, 0)) self.label_19.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_19.setFont(font) self.label_19.setObjectName("label_19") self.gridLayout.addWidget(self.label_19, 8, 0, 1, 1) self.dateEdit = QtWidgets.QDateEdit(self.dockWidgetContents) self.dateEdit.setMinimumSize(QtCore.QSize(0, 0)) self.dateEdit.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.dateEdit.setObjectName("dateEdit") self.gridLayout.addWidget(self.dateEdit, 8, 1, 1, 1) self.dateEditDis = QtWidgets.QDateEdit(self.dockWidgetContents) self.dateEditDis.setEnabled(False) self.dateEditDis.setMinimumSize(QtCore.QSize(0, 0)) self.dateEditDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.dateEditDis.setObjectName("dateEditDis") self.gridLayout.addWidget(self.dateEditDis, 8, 2, 1, 1) self.label_20 = QtWidgets.QLabel(self.dockWidgetContents) self.label_20.setMinimumSize(QtCore.QSize(0, 0)) self.label_20.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_20.setFont(font) self.label_20.setObjectName("label_20") self.gridLayout.addWidget(self.label_20, 9, 0, 1, 1) self.dateTimeEdit = QtWidgets.QDateTimeEdit(self.dockWidgetContents) self.dateTimeEdit.setMinimumSize(QtCore.QSize(0, 0)) self.dateTimeEdit.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.dateTimeEdit.setObjectName("dateTimeEdit") self.gridLayout.addWidget(self.dateTimeEdit, 9, 1, 1, 1) self.dateTimeEditDis = QtWidgets.QDateTimeEdit(self.dockWidgetContents) self.dateTimeEditDis.setEnabled(False) self.dateTimeEditDis.setMinimumSize(QtCore.QSize(0, 0)) self.dateTimeEditDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.dateTimeEditDis.setObjectName("dateTimeEditDis") self.gridLayout.addWidget(self.dateTimeEditDis, 9, 2, 1, 1) spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding) self.gridLayout.addItem(spacerItem, 10, 0, 1, 1) self.label_51 = QtWidgets.QLabel(self.dockWidgetContents) self.label_51.setAlignment(QtCore.Qt.AlignCenter) self.label_51.setObjectName("label_51") self.gridLayout.addWidget(self.label_51, 11, 0, 1, 3) self.fontComboBox = QtWidgets.QFontComboBox(self.dockWidgetContents) self.fontComboBox.setMinimumSize(QtCore.QSize(0, 0)) self.fontComboBox.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.fontComboBox.setObjectName("fontComboBox") self.gridLayout.addWidget(self.fontComboBox, 1, 1, 1, 1) self.label_12 = QtWidgets.QLabel(self.dockWidgetContents) self.label_12.setMinimumSize(QtCore.QSize(0, 0)) self.label_12.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_12.setFont(font) self.label_12.setObjectName("label_12") self.gridLayout.addWidget(self.label_12, 1, 0, 1, 1) self.fontComboBoxDis = QtWidgets.QFontComboBox(self.dockWidgetContents) self.fontComboBoxDis.setEnabled(False) self.fontComboBoxDis.setMinimumSize(QtCore.QSize(0, 0)) self.fontComboBoxDis.setMaximumSize(QtCore.QSize(16777215, 16777215)) self.fontComboBoxDis.setObjectName("fontComboBoxDis") self.gridLayout.addWidget(self.fontComboBoxDis, 1, 2, 1, 1) self.label_13 = QtWidgets.QLabel(self.dockWidgetContents) self.label_13.setMinimumSize(QtCore.QSize(0, 0)) self.label_13.setMaximumSize(QtCore.QSize(16777215, 16777215)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_13.setFont(font) self.label_13.setObjectName("label_13") self.gridLayout.addWidget(self.label_13, 2, 0, 1, 1) self.label = QtWidgets.QLabel(self.dockWidgetContents) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label.setFont(font) self.label.setObjectName("label") self.gridLayout.addWidget(self.label, 0, 1, 1, 1) self.label_2 = QtWidgets.QLabel(self.dockWidgetContents) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_2.setFont(font) self.label_2.setObjectName("label_2") self.gridLayout.addWidget(self.label_2, 0, 2, 1, 1) DockWidget.setWidget(self.dockWidgetContents) self.retranslateUi(DockWidget) self.fontComboBox.editTextChanged['QString'].connect( self.fontComboBoxDis.setEditText) self.lineEdit.textEdited['QString'].connect(self.lineEditDis.setText) self.spinBox.valueChanged['int'].connect(self.spinBoxDis.setValue) self.doubleSpinBox.valueChanged['double'].connect( self.doubleSpinBoxDis.setValue) self.timeEdit.timeChanged['QTime'].connect(self.timeEditDis.setTime) self.dateEdit.dateTimeChanged['QDateTime'].connect( self.dateEditDis.setDateTime) self.dateTimeEdit.dateTimeChanged['QDateTime'].connect( self.dateTimeEditDis.setDateTime) QtCore.QMetaObject.connectSlotsByName(DockWidget)
def __init__(self, model, parent): FormWidget.__init__(self, model, parent) self.fixed_font = QtWidgets.QFontComboBox() self.font_size = QtWidgets.QSpinBox() self.font_size.setMinimum(8) self.font_size.setProperty('value', 12) self._font_str = None self.tabwidth = QtWidgets.QSpinBox() self.tabwidth.setWrapping(True) self.tabwidth.setMaximum(42) self.textwidth = QtWidgets.QSpinBox() self.textwidth.setWrapping(True) self.textwidth.setMaximum(150) self.linebreak = qtutils.checkbox() self.editor = QtWidgets.QLineEdit() self.historybrowser = QtWidgets.QLineEdit() self.blameviewer = QtWidgets.QLineEdit() self.difftool = QtWidgets.QLineEdit() self.mergetool = QtWidgets.QLineEdit() self.keep_merge_backups = qtutils.checkbox() self.sort_bookmarks = qtutils.checkbox() self.bold_headers = qtutils.checkbox() self.save_gui_settings = qtutils.checkbox() self.add_row(N_('Fixed-Width Font'), self.fixed_font) self.add_row(N_('Font Size'), self.font_size) self.add_row(N_('Tab Width'), self.tabwidth) self.add_row(N_('Text Width'), self.textwidth) self.add_row(N_('Auto-Wrap Lines'), self.linebreak) self.add_row(N_('Editor'), self.editor) self.add_row(N_('History Browser'), self.historybrowser) self.add_row(N_('Blame Viewer'), self.blameviewer) self.add_row(N_('Diff Tool'), self.difftool) self.add_row(N_('Merge Tool'), self.mergetool) self.add_row(N_('Keep *.orig Merge Backups'), self.keep_merge_backups) self.add_row(N_('Sort bookmarks alphabetically'), self.sort_bookmarks) self.add_row(N_('Bold with dark background font instead of italic ' 'headers (restart required)'), self.bold_headers) self.add_row(N_('Save GUI Settings'), self.save_gui_settings) self.set_config({ prefs.SAVEWINDOWSETTINGS: (self.save_gui_settings, True), prefs.TABWIDTH: (self.tabwidth, 8), prefs.TEXTWIDTH: (self.textwidth, 72), prefs.LINEBREAK: (self.linebreak, True), prefs.SORT_BOOKMARKS: (self.sort_bookmarks, True), prefs.BOLD_HEADERS: (self.bold_headers, False), prefs.DIFFTOOL: (self.difftool, 'xxdiff'), prefs.EDITOR: (self.editor, os.getenv('VISUAL', 'gvim')), prefs.HISTORY_BROWSER: (self.historybrowser, prefs.default_history_browser()), prefs.BLAME_VIEWER: (self.blameviewer, prefs.default_blame_viewer()), prefs.MERGE_KEEPBACKUP: (self.keep_merge_backups, True), prefs.MERGETOOL: (self.mergetool, 'xxdiff'), }) self.fixed_font.currentFontChanged.connect(self.current_font_changed) self.font_size.valueChanged.connect(self.font_size_changed)