diff options
| author | Felix (xq) Queißner <git@mq32.de> | 2020-06-27 01:38:16 +0200 |
|---|---|---|
| committer | Felix (xq) Queißner <git@mq32.de> | 2020-06-27 01:38:16 +0200 |
| commit | 4ad32f09d68dd7b589e1f44ccc77766a133a6761 (patch) | |
| tree | 950c3587118ce94a4b02ab4c05ce6738ef76316f /src/browsertab.ui | |
| parent | 8a1961707348c85b6564a18a4c0c3e1d8e34b65c (diff) | |
Implements Ctrl-F search, fully featured (F3, Shift-F3, Ctrl-F, Escape)
Diffstat (limited to 'src/browsertab.ui')
| -rw-r--r-- | src/browsertab.ui | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/src/browsertab.ui b/src/browsertab.ui index 5a3aef5..df1b530 100644 --- a/src/browsertab.ui +++ b/src/browsertab.ui @@ -199,6 +199,63 @@ p, li { white-space: pre-wrap; } </item> </layout> </item> + <item> + <widget class="QWidget" name="search_bar" native="true"> + <layout class="QHBoxLayout" name="horizontalLayout_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> + <widget class="QLineEdit" name="search_box"/> + </item> + <item> + <widget class="QToolButton" name="search_previous"> + <property name="text"> + <string>Previous</string> + </property> + <property name="icon"> + <iconset theme="search-previous"/> + </property> + </widget> + </item> + <item> + <widget class="QToolButton" name="search_next"> + <property name="toolTip"> + <string>Next</string> + </property> + <property name="text"> + <string>Next</string> + </property> + <property name="icon"> + <iconset theme="search-next"/> + </property> + </widget> + </item> + <item> + <widget class="QToolButton" name="close_search"> + <property name="toolTip"> + <string>Hide search</string> + </property> + <property name="text"> + <string>Hide</string> + </property> + <property name="icon"> + <iconset theme="close"/> + </property> + </widget> + </item> + </layout> + </widget> + </item> </layout> </widget> <customwidgets> |