--- a/Preferences/ConfigurationPages/EditorSearchPage.ui Tue Mar 05 18:59:19 2019 +0100
+++ b/Preferences/ConfigurationPages/EditorSearchPage.ui Tue Mar 05 19:00:06 2019 +0100
@@ -1,7 +1,8 @@
-<ui version="4.0" >
+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
<class>EditorSearchPage</class>
- <widget class="QWidget" name="EditorSearchPage" >
- <property name="geometry" >
+ <widget class="QWidget" name="EditorSearchPage">
+ <property name="geometry">
<rect>
<x>0</x>
<y>0</y>
@@ -9,106 +10,106 @@
<height>596</height>
</rect>
</property>
- <layout class="QVBoxLayout" >
+ <layout class="QVBoxLayout" name="verticalLayout_2">
<item>
- <widget class="QLabel" name="headerLabel" >
- <property name="text" >
- <string><b>Configure editor search options</b></string>
+ <widget class="QLabel" name="headerLabel">
+ <property name="text">
+ <string><b>Configure editor search options</b></string>
</property>
</widget>
</item>
<item>
- <widget class="Line" name="line3" >
- <property name="frameShape" >
+ <widget class="Line" name="line3">
+ <property name="frameShape">
<enum>QFrame::HLine</enum>
</property>
- <property name="frameShadow" >
+ <property name="frameShadow">
<enum>QFrame::Sunken</enum>
</property>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
</widget>
</item>
<item>
- <widget class="QGroupBox" name="groupBox_4" >
- <property name="title" >
+ <widget class="QGroupBox" name="groupBox_4">
+ <property name="title">
<string>Search Markers</string>
</property>
- <layout class="QVBoxLayout" >
+ <layout class="QVBoxLayout">
<item>
- <widget class="QCheckBox" name="occurrencesMarkersEnabledCheckBox" >
- <property name="toolTip" >
+ <widget class="QCheckBox" name="occurrencesMarkersEnabledCheckBox">
+ <property name="toolTip">
<string>Select, whether markers for all occurrences of the current word shall be shown</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Highlight all occurrences of current word</string>
</property>
</widget>
</item>
<item>
- <widget class="QCheckBox" name="searchMarkersEnabledCheckBox" >
- <property name="toolTip" >
+ <widget class="QCheckBox" name="searchMarkersEnabledCheckBox">
+ <property name="toolTip">
<string>Select, whether search markers shall be shown for a standard search</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Highlight all occurrences of search text</string>
</property>
</widget>
</item>
<item>
- <widget class="QCheckBox" name="quicksearchMarkersEnabledCheckBox" >
- <property name="toolTip" >
+ <widget class="QCheckBox" name="quicksearchMarkersEnabledCheckBox">
+ <property name="toolTip">
<string>Select, whether search markers shall be shown for a quicksearch</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Highlight all occurrences of quicksearch text</string>
</property>
</widget>
</item>
<item>
- <layout class="QHBoxLayout" >
+ <layout class="QHBoxLayout">
<item>
- <widget class="QLabel" name="label" >
- <property name="text" >
+ <widget class="QLabel" name="label">
+ <property name="text">
<string>Timeout for current word highlighting:</string>
</property>
</widget>
</item>
<item>
- <widget class="QSpinBox" name="markOccurrencesTimeoutSpinBox" >
- <property name="toolTip" >
+ <widget class="QSpinBox" name="markOccurrencesTimeoutSpinBox">
+ <property name="toolTip">
<string>Enter the time in milliseconds after which occurrences of the current word shall be highlighted</string>
</property>
- <property name="alignment" >
+ <property name="alignment">
<set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
</property>
- <property name="buttonSymbols" >
+ <property name="buttonSymbols">
<enum>QAbstractSpinBox::PlusMinus</enum>
</property>
- <property name="correctionMode" >
+ <property name="correctionMode">
<enum>QAbstractSpinBox::CorrectToNearestValue</enum>
</property>
- <property name="suffix" >
+ <property name="suffix">
<string> ms</string>
</property>
- <property name="minimum" >
+ <property name="minimum">
<number>100</number>
</property>
- <property name="maximum" >
+ <property name="maximum">
<number>5000</number>
</property>
- <property name="singleStep" >
+ <property name="singleStep">
<number>100</number>
</property>
</widget>
</item>
<item>
<spacer>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
- <property name="sizeHint" stdset="0" >
+ <property name="sizeHint" stdset="0">
<size>
<width>40</width>
<height>20</height>
@@ -119,36 +120,36 @@
</layout>
</item>
<item>
- <layout class="QHBoxLayout" >
+ <layout class="QHBoxLayout">
<item>
- <widget class="QLabel" name="TextLabel2_2_2_2_2_2" >
- <property name="text" >
+ <widget class="QLabel" name="TextLabel2_2_2_2_2_2">
+ <property name="text">
<string>Marker Colour:</string>
</property>
</widget>
</item>
<item>
- <widget class="QPushButton" name="searchMarkerButton" >
- <property name="minimumSize" >
+ <widget class="QPushButton" name="searchMarkerButton">
+ <property name="minimumSize">
<size>
<width>100</width>
<height>0</height>
</size>
</property>
- <property name="toolTip" >
+ <property name="toolTip">
<string>Select the colour for the search markers.</string>
</property>
- <property name="text" >
+ <property name="text">
<string/>
</property>
</widget>
</item>
<item>
<spacer>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
- <property name="sizeHint" stdset="0" >
+ <property name="sizeHint" stdset="0">
<size>
<width>40</width>
<height>20</height>
@@ -162,11 +163,43 @@
</widget>
</item>
<item>
+ <widget class="QGroupBox" name="regexpModeBox">
+ <property name="title">
+ <string>Regular Expression Type</string>
+ </property>
+ <layout class="QVBoxLayout" name="verticalLayout">
+ <item>
+ <widget class="QRadioButton" name="regexpPosixButton">
+ <property name="toolTip">
+ <string>Select to used the QScintilla POSIX alike regular expression mode.</string>
+ </property>
+ <property name="text">
+ <string>QScintilla Regular Mode (POSIX)</string>
+ </property>
+ <property name="checked">
+ <bool>true</bool>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QRadioButton" name="regexpCxx11Button">
+ <property name="toolTip">
+ <string>Select to used the QScintilla extended (C++11) regular expression mode.</string>
+ </property>
+ <property name="text">
+ <string>QScintilla Extended Mode (C++11)</string>
+ </property>
+ </widget>
+ </item>
+ </layout>
+ </widget>
+ </item>
+ <item>
<spacer>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Vertical</enum>
</property>
- <property name="sizeHint" stdset="0" >
+ <property name="sizeHint" stdset="0">
<size>
<width>558</width>
<height>231</height>
