2021-06-07 11:02:03 +08:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>editorgeneralwidget</class>
|
|
|
|
<widget class="QWidget" name="editorgeneralwidget">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>721</width>
|
2021-09-04 19:27:44 +08:00
|
|
|
<height>982</height>
|
2021-06-07 11:02:03 +08:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
|
|
|
<string>Form</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="grpIndents">
|
|
|
|
<property name="title">
|
|
|
|
<string>Indents</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkAutoIndent">
|
|
|
|
<property name="text">
|
|
|
|
<string>Auto Indent</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkAddIndent">
|
|
|
|
<property name="text">
|
|
|
|
<string>Add Indent after { and :</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkTabToSpaces">
|
|
|
|
<property name="text">
|
|
|
|
<string>Replace tab with spaces</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget_2" native="true">
|
2021-09-04 19:27:44 +08:00
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="lbCaretColor_2">
|
|
|
|
<property name="text">
|
|
|
|
<string>Tab Width</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2021-06-07 11:02:03 +08:00
|
|
|
<widget class="QSpinBox" name="spTabWidth">
|
|
|
|
<property name="minimum">
|
|
|
|
<number>1</number>
|
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>16</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-09-04 19:27:44 +08:00
|
|
|
<item>
|
2021-06-07 11:02:03 +08:00
|
|
|
<spacer name="horizontalSpacer_2">
|
|
|
|
<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="QCheckBox" name="chkShowIndentLines">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show Indent Lines</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget_3" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout_4">
|
|
|
|
<item row="0" column="2">
|
|
|
|
<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>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="lbCaretColor_4">
|
|
|
|
<property name="text">
|
|
|
|
<string>Indent Line Color</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="ColorEdit" name="colorIndentLine">
|
|
|
|
<property name="frameShape">
|
|
|
|
<enum>QFrame::StyledPanel</enum>
|
|
|
|
</property>
|
|
|
|
<property name="frameShadow">
|
|
|
|
<enum>QFrame::Raised</enum>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="grpCarets">
|
|
|
|
<property name="title">
|
|
|
|
<string>Caret</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_3">
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkEnhanceHome">
|
|
|
|
<property name="text">
|
|
|
|
<string>Move caret to the first non-space char in the current line when press HOME key</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkEnhanceEndKey">
|
|
|
|
<property name="text">
|
|
|
|
<string>Move caret to the last non-space char in the current line when press END key</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkKeepCaretX">
|
|
|
|
<property name="text">
|
|
|
|
<string>Keep X position of the caret when moving vertically</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout_2">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
2021-09-04 19:27:44 +08:00
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QComboBox" name="cbCaretForOverwrite"/>
|
|
|
|
</item>
|
|
|
|
<item row="3" column="1">
|
|
|
|
<widget class="ColorEdit" name="colorCaret">
|
|
|
|
<property name="frameShape">
|
|
|
|
<enum>QFrame::StyledPanel</enum>
|
|
|
|
</property>
|
|
|
|
<property name="frameShadow">
|
|
|
|
<enum>QFrame::Raised</enum>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="lbCaretForInsert">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="text">
|
2021-09-04 19:27:44 +08:00
|
|
|
<string>Caret for inserting mode</string>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QComboBox" name="cbCaretForInsert"/>
|
|
|
|
</item>
|
2021-09-04 19:27:44 +08:00
|
|
|
<item row="3" column="0">
|
|
|
|
<widget class="QLabel" name="lbCaretColor">
|
2021-06-08 21:41:42 +08:00
|
|
|
<property name="text">
|
2021-09-04 19:27:44 +08:00
|
|
|
<string>Caret Color</string>
|
2021-06-08 21:41:42 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="2">
|
2021-06-07 11:02:03 +08:00
|
|
|
<spacer name="horizontalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
2021-09-04 19:27:44 +08:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QLabel" name="lbCaretForOverwrite">
|
2021-06-07 11:02:03 +08:00
|
|
|
<property name="text">
|
2021-09-04 19:27:44 +08:00
|
|
|
<string>Caret for overwriting mode</string>
|
2021-06-07 11:02:03 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-09-04 19:27:44 +08:00
|
|
|
<item row="2" column="0" colspan="3">
|
|
|
|
<widget class="QCheckBox" name="chkCaretUseTextColor">
|
|
|
|
<property name="text">
|
|
|
|
<string>Use text color as caret color</string>
|
2021-06-07 11:02:03 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-06-07 21:34:48 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox">
|
|
|
|
<property name="title">
|
|
|
|
<string>Scroll</string>
|
|
|
|
</property>
|
2021-06-08 21:41:42 +08:00
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_4">
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkAutoHideScrollBars">
|
|
|
|
<property name="text">
|
|
|
|
<string>Auto hide scroll bars</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkScrollPastEOL">
|
|
|
|
<property name="text">
|
|
|
|
<string>Can scroll the last char to the left edge of the editor</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkScrollPastEOF">
|
|
|
|
<property name="text">
|
|
|
|
<string>Can scroll the last line to the top edge of the editor</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkScrollHalfPage">
|
|
|
|
<property name="text">
|
|
|
|
<string>Page Up/Down scrolls half a page</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkScrollByOneLess">
|
|
|
|
<property name="text">
|
|
|
|
<string>Forces page scroll to be one line less</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
2021-06-07 21:34:48 +08:00
|
|
|
</widget>
|
|
|
|
</item>
|
2021-09-04 19:27:44 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="grpRightEdge">
|
|
|
|
<property name="title">
|
|
|
|
<string>Show right edge line</string>
|
|
|
|
</property>
|
|
|
|
<property name="checkable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_5">
|
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget_4" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_2">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="lbCaretColor_3">
|
|
|
|
<property name="text">
|
|
|
|
<string>Right egde width</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QSpinBox" name="spRightEdge">
|
|
|
|
<property name="minimum">
|
|
|
|
<number>1</number>
|
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>1000</number>
|
|
|
|
</property>
|
|
|
|
<property name="value">
|
|
|
|
<number>80</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>
|
|
|
|
<widget class="QWidget" name="widget_5" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout_5">
|
|
|
|
<item row="0" column="2">
|
|
|
|
<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>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="lbCaretColor_5">
|
|
|
|
<property name="text">
|
|
|
|
<string>Right edge line color</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="ColorEdit" name="colorRightEdgeLine">
|
|
|
|
<property name="frameShape">
|
|
|
|
<enum>QFrame::StyledPanel</enum>
|
|
|
|
</property>
|
|
|
|
<property name="frameShadow">
|
|
|
|
<enum>QFrame::Raised</enum>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-06-07 11:02:03 +08:00
|
|
|
<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>
|
|
|
|
<customwidgets>
|
|
|
|
<customwidget>
|
|
|
|
<class>ColorEdit</class>
|
|
|
|
<extends>QFrame</extends>
|
|
|
|
<header location="global">widgets/coloredit.h</header>
|
|
|
|
<container>1</container>
|
|
|
|
</customwidget>
|
|
|
|
</customwidgets>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|