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)
