2021-08-02 21:58:39 +08:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>SearchDialog</class>
|
|
|
|
<widget class="QDialog" name="SearchDialog">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2022-11-11 21:20:57 +08:00
|
|
|
<width>609</width>
|
|
|
|
<height>242</height>
|
2021-08-02 21:58:39 +08:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
2022-11-11 21:20:57 +08:00
|
|
|
<string>Find</string>
|
2021-08-02 21:58:39 +08:00
|
|
|
</property>
|
2022-11-11 21:20:57 +08:00
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_3">
|
2021-08-02 21:58:39 +08:00
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<widget class="QWidget" name="widget_4" native="true">
|
2021-08-02 21:58:39 +08:00
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
2022-11-11 21:20:57 +08:00
|
|
|
<property name="spacing">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<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>
|
2021-08-02 21:58:39 +08:00
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<widget class="QWidget" name="widget" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
2021-08-02 23:42:10 +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>
|
2022-11-11 21:20:57 +08:00
|
|
|
<item>
|
2021-08-02 23:42:10 +08:00
|
|
|
<widget class="QLabel" name="lblFind">
|
|
|
|
<property name="text">
|
|
|
|
<string>Text to Find:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<item>
|
2021-08-02 23:42:10 +08:00
|
|
|
<widget class="QComboBox" name="cbFind">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="editable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<property name="insertPolicy">
|
|
|
|
<enum>QComboBox::InsertAtTop</enum>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<widget class="QWidget" name="widget_2" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout">
|
|
|
|
<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="1" column="1">
|
2021-08-02 23:42:10 +08:00
|
|
|
<widget class="QGroupBox" name="grpScope">
|
|
|
|
<property name="title">
|
|
|
|
<string>Scope:</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_5">
|
2022-11-11 21:20:57 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
2021-08-02 23:42:10 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QRadioButton" name="rbGlobal">
|
|
|
|
<property name="text">
|
|
|
|
<string>Global</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QRadioButton" name="rbSelection">
|
|
|
|
<property name="text">
|
|
|
|
<string>Selection</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<item row="0" column="1">
|
2021-08-02 23:42:10 +08:00
|
|
|
<widget class="QGroupBox" name="grpOrigin">
|
|
|
|
<property name="title">
|
|
|
|
<string>Origin:</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_6">
|
2022-11-11 21:20:57 +08:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>7</number>
|
|
|
|
</property>
|
2021-08-02 23:42:10 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QRadioButton" name="rbFromCursor">
|
|
|
|
<property name="text">
|
|
|
|
<string>From cursor</string>
|
|
|
|
</property>
|
|
|
|
<property name="checked">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QRadioButton" name="rbEntireScope">
|
|
|
|
<property name="text">
|
|
|
|
<string>Entire scope</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<item row="0" column="0" rowspan="2">
|
|
|
|
<widget class="QGroupBox" name="grpOptions">
|
|
|
|
<property name="title">
|
|
|
|
<string>Options:</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QGridLayout" name="gridLayout_2">
|
2021-08-02 23:42:10 +08:00
|
|
|
<property name="leftMargin">
|
2022-11-11 21:20:57 +08:00
|
|
|
<number>7</number>
|
2021-08-02 23:42:10 +08:00
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
2022-11-11 21:20:57 +08:00
|
|
|
<number>7</number>
|
2021-08-02 23:42:10 +08:00
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
2022-11-11 21:20:57 +08:00
|
|
|
<number>7</number>
|
2021-08-02 23:42:10 +08:00
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
2022-11-11 21:20:57 +08:00
|
|
|
<number>7</number>
|
2021-08-02 23:42:10 +08:00
|
|
|
</property>
|
2022-11-11 21:20:57 +08:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QCheckBox" name="chkCaseSensetive">
|
|
|
|
<property name="text">
|
|
|
|
<string>Case Sensitive</string>
|
2021-08-02 23:42:10 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<item row="3" column="0">
|
|
|
|
<widget class="QCheckBox" name="chkWrapAround">
|
|
|
|
<property name="text">
|
|
|
|
<string>Wrap Around</string>
|
|
|
|
</property>
|
|
|
|
<property name="checked">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="4" column="0">
|
|
|
|
<widget class="QCheckBox" name="chkPrompt">
|
|
|
|
<property name="text">
|
|
|
|
<string>Prompt on replace</string>
|
|
|
|
</property>
|
|
|
|
<property name="checked">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="2" column="0">
|
|
|
|
<widget class="QCheckBox" name="chkRegExp">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Regular Expression</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QCheckBox" name="chkWholeWord">
|
|
|
|
<property name="text">
|
|
|
|
<string>Whole words only</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="2" column="1">
|
|
|
|
<widget class="QLabel" name="txtRegExpHelp">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Preferred">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string notr="true"><html><head/><body><p><a href="https://docs.microsoft.com/en-us/dotnet/standard/base-types/regular-expression-language-quick-reference"><span style=" text-decoration: underline; color:#0000ff;">(?)</span></a></p></body></html></string>
|
|
|
|
</property>
|
|
|
|
<property name="openExternalLinks">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="5" column="0">
|
|
|
|
<widget class="QCheckBox" name="chkCloseAfterSearch">
|
|
|
|
<property name="text">
|
|
|
|
<string>Close after search</string>
|
2021-08-02 23:42:10 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
2021-08-02 21:58:39 +08:00
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<spacer name="verticalSpacer_3">
|
2021-08-02 21:58:39 +08:00
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
2022-11-11 21:20:57 +08:00
|
|
|
<height>40</height>
|
2021-08-02 21:58:39 +08:00
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<widget class="QWidget" name="widget_3" native="true">
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<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="QPushButton" name="btnPrevious">
|
|
|
|
<property name="text">
|
|
|
|
<string>Find Previous</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="btnNext">
|
|
|
|
<property name="text">
|
|
|
|
<string>Find Next</string>
|
|
|
|
</property>
|
|
|
|
<property name="default">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-08-02 21:58:39 +08:00
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<spacer name="verticalSpacer_2">
|
2021-08-02 21:58:39 +08:00
|
|
|
<property name="orientation">
|
2022-11-11 21:20:57 +08:00
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeType">
|
|
|
|
<enum>QSizePolicy::Fixed</enum>
|
2021-08-02 21:58:39 +08:00
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
2022-11-11 21:20:57 +08:00
|
|
|
<width>20</width>
|
|
|
|
<height>15</height>
|
2021-08-02 21:58:39 +08:00
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<widget class="QPushButton" name="btnClose">
|
2021-08-02 21:58:39 +08:00
|
|
|
<property name="text">
|
2022-11-11 21:20:57 +08:00
|
|
|
<string>Close</string>
|
2021-08-02 21:58:39 +08:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2022-11-11 21:20:57 +08:00
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
2021-08-02 21:58:39 +08:00
|
|
|
</property>
|
2022-11-11 21:20:57 +08:00
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>40</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
2021-08-02 21:58:39 +08:00
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|