2021-06-08 21:41:42 +08:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>EditorFontWidget</class>
|
|
|
|
<widget class="QWidget" name="EditorFontWidget">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2022-12-16 11:10:46 +08:00
|
|
|
<width>876</width>
|
2023-08-14 18:03:25 +08:00
|
|
|
<height>713</height>
|
2021-06-08 21:41:42 +08:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
|
|
|
<string>Form</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
2022-12-20 20:38:02 +08:00
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QWidget" name="widget_9" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_7">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
2023-08-14 18:03:25 +08:00
|
|
|
<widget class="QFontComboBox" name="cbNonAsciiFont">
|
|
|
|
<property name="editable">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="sizeAdjustPolicy">
|
|
|
|
<enum>QComboBox::AdjustToContents</enum>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2022-12-20 20:38:02 +08:00
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer_7">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
2021-06-08 21:41:42 +08:00
|
|
|
</widget>
|
|
|
|
</item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<item row="3" column="1">
|
|
|
|
<widget class="QWidget" name="widget_10" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_8">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<widget class="QDoubleSpinBox" name="spinLineSpacing">
|
|
|
|
<property name="decimals">
|
|
|
|
<number>1</number>
|
2022-12-16 11:10:46 +08:00
|
|
|
</property>
|
2022-12-20 20:38:02 +08:00
|
|
|
<property name="minimum">
|
|
|
|
<double>1.000000000000000</double>
|
2022-12-16 11:10:46 +08:00
|
|
|
</property>
|
2022-12-20 20:38:02 +08:00
|
|
|
<property name="maximum">
|
|
|
|
<double>3.000000000000000</double>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
2022-12-20 20:38:02 +08:00
|
|
|
<property name="singleStep">
|
|
|
|
<double>0.100000000000000</double>
|
2022-12-16 11:10:46 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<spacer name="horizontalSpacer_8">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
2022-12-20 20:38:02 +08:00
|
|
|
<width>563</width>
|
2021-06-08 21:41:42 +08:00
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<item row="2" column="0">
|
|
|
|
<widget class="QLabel" name="label_2">
|
|
|
|
<property name="text">
|
|
|
|
<string>Size:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="4" column="0" colspan="2">
|
|
|
|
<widget class="QCheckBox" name="chkLigature">
|
|
|
|
<property name="text">
|
|
|
|
<string>Enable ligatures support</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="3" column="0">
|
|
|
|
<widget class="QLabel" name="label_9">
|
|
|
|
<property name="text">
|
|
|
|
<string>Line Spacing:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-12-16 11:10:46 +08:00
|
|
|
<item row="2" column="1">
|
|
|
|
<widget class="QWidget" name="widget_3" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_3">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
2022-12-16 11:10:46 +08:00
|
|
|
<widget class="QSpinBox" name="spinFontSize">
|
|
|
|
<property name="minimum">
|
|
|
|
<number>2</number>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-12-16 11:10:46 +08:00
|
|
|
<spacer name="horizontalSpacer_2">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QWidget" name="widget_2" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
2022-01-26 14:31:26 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<widget class="QFontComboBox" name="cbFont">
|
|
|
|
<property name="editable">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="sizeAdjustPolicy">
|
2023-08-14 18:03:25 +08:00
|
|
|
<enum>QComboBox::AdjustToContents</enum>
|
2022-12-20 20:38:02 +08:00
|
|
|
</property>
|
|
|
|
<property name="fontFilters">
|
|
|
|
<set>QFontComboBox::AllFonts</set>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2022-01-26 14:31:26 +08:00
|
|
|
</item>
|
|
|
|
<item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<widget class="QCheckBox" name="chkOnlyMonospacedFonts">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show only monospaced fonts</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer">
|
2022-01-26 14:31:26 +08:00
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QLabel" name="label_8">
|
2022-12-16 11:10:46 +08:00
|
|
|
<property name="text">
|
2022-12-20 20:38:02 +08:00
|
|
|
<string>Font for non-ascii Text:</string>
|
2022-12-16 11:10:46 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-12-20 20:38:02 +08:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="label">
|
2022-12-16 11:10:46 +08:00
|
|
|
<property name="text">
|
2022-12-20 20:38:02 +08:00
|
|
|
<string>Font:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox_2">
|
|
|
|
<property name="title">
|
|
|
|
<string>Show whitespaces</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_10">
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkLeadingSpaces">
|
|
|
|
<property name="text">
|
|
|
|
<string>Leading</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkInnerSpaces">
|
|
|
|
<property name="text">
|
|
|
|
<string>Inner</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkTrailingSpaces">
|
|
|
|
<property name="text">
|
|
|
|
<string>Trailing</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkLineBreaks">
|
|
|
|
<property name="text">
|
|
|
|
<string>Line break</string>
|
2022-12-16 11:10:46 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-06-08 21:41:42 +08:00
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox">
|
|
|
|
<property name="title">
|
|
|
|
<string>Gutter</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
2022-12-16 11:10:46 +08:00
|
|
|
<property name="spacing">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
2021-06-08 21:41:42 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkGutterVisible">
|
|
|
|
<property name="text">
|
|
|
|
<string>Gutter is visible</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2021-06-09 17:12:23 +08:00
|
|
|
<widget class="QWidget" name="widget_8" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_6">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
2021-06-09 17:12:23 +08:00
|
|
|
<widget class="QLabel" name="label_6">
|
|
|
|
<property name="text">
|
|
|
|
<string>Left Offset</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QSpinBox" name="spinGutterLeftOffset">
|
|
|
|
<property name="minimum">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>999</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label_7">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="text">
|
2021-06-09 17:12:23 +08:00
|
|
|
<string>Right Offset</string>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2021-06-09 17:12:23 +08:00
|
|
|
<widget class="QSpinBox" name="spinGutterRightOffset">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="minimum">
|
2021-06-09 17:12:23 +08:00
|
|
|
<number>0</number>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>999</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2021-06-09 17:12:23 +08:00
|
|
|
<spacer name="horizontalSpacer_6">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="grpGutterShowLineNumbers">
|
|
|
|
<property name="title">
|
|
|
|
<string>Show Line Numbers</string>
|
|
|
|
</property>
|
|
|
|
<property name="checkable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_3">
|
2022-12-16 11:10:46 +08:00
|
|
|
<property name="spacing">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
2021-06-08 21:41:42 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkAddLeadingZeros">
|
|
|
|
<property name="text">
|
|
|
|
<string>Add leading zeros to line numbers</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkLineNumbersStartsZero">
|
|
|
|
<property name="text">
|
|
|
|
<string>Line numbers starts at zero</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-06-09 17:12:23 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkAutoSizeGutter">
|
|
|
|
<property name="text">
|
|
|
|
<string>Auto calculate the digit count of line number</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget_4" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_5">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label_3">
|
|
|
|
<property name="text">
|
|
|
|
<string>Digit count</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QSpinBox" name="spinGutterDigitsCount">
|
|
|
|
<property name="minimum">
|
|
|
|
<number>1</number>
|
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>999</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer_5">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-06-08 21:41:42 +08:00
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="grpUseCustomFont">
|
|
|
|
<property name="title">
|
|
|
|
<string>Use Custom Font</string>
|
|
|
|
</property>
|
|
|
|
<property name="checkable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<layout class="QGridLayout" name="gridLayout_4">
|
2022-12-16 11:10:46 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>11</number>
|
|
|
|
</property>
|
|
|
|
<property name="horizontalSpacing">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
2021-06-08 21:41:42 +08:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="label_5">
|
|
|
|
<property name="text">
|
|
|
|
<string>Font:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QLabel" name="label_4">
|
|
|
|
<property name="text">
|
|
|
|
<string>Size:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QWidget" name="widget_6" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_4">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
|
|
|
<widget class="QSpinBox" name="spinGutterFontSize">
|
|
|
|
<property name="minimum">
|
|
|
|
<number>2</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer_3">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QWidget" name="widget_5" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout_3">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item row="0" column="3">
|
|
|
|
<widget class="QWidget" name="widget_7" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_2">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
|
|
|
<widget class="QFontComboBox" name="cbGutterFont">
|
|
|
|
<property name="editable">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="sizeAdjustPolicy">
|
2023-08-14 18:03:25 +08:00
|
|
|
<enum>QComboBox::AdjustToContents</enum>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
|
|
|
<property name="fontFilters">
|
|
|
|
<set>QFontComboBox::AllFonts</set>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkGutterOnlyMonospacedFonts">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show only monospaced fonts</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer_4">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>40</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|