diff options
| author | Orgad Shaneh <orgad.shaneh@audiocodes.com> | 2013-04-14 22:04:01 +0300 |
|---|---|---|
| committer | Orgad Shaneh <orgads@gmail.com> | 2013-04-17 09:06:39 +0200 |
| commit | e4714f80c4c6c0a44541ff3277e206a527359728 (patch) | |
| tree | dcdfd7daece61d01270fb4d317f10a325425b7a9 /src/plugins/coreplugin/mimetypesettingspage.ui | |
| parent | fcf8575163e5bf9ed2e69dbc21e9d8f0d716a969 (diff) | |
Settings: Add a filter for mime types
Change-Id: I05213ca74cf3838c923ce6117ffdde28546d465f
Reviewed-by: David Schulz <david.schulz@digia.com>
Diffstat (limited to 'src/plugins/coreplugin/mimetypesettingspage.ui')
| -rw-r--r-- | src/plugins/coreplugin/mimetypesettingspage.ui | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/plugins/coreplugin/mimetypesettingspage.ui b/src/plugins/coreplugin/mimetypesettingspage.ui index 5fe2e67e10..095494b528 100644 --- a/src/plugins/coreplugin/mimetypesettingspage.ui +++ b/src/plugins/coreplugin/mimetypesettingspage.ui @@ -21,6 +21,13 @@ </property> <layout class="QGridLayout" name="gridLayout"> <item row="0" column="0" colspan="2"> + <widget class="QLineEdit" name="filterLineEdit"> + <property name="placeholderText"> + <string>Filter</string> + </property> + </widget> + </item> + <item row="1" column="0" colspan="2"> <widget class="QTableView" name="mimeTypesTableView"> <property name="showGrid"> <bool>false</bool> @@ -30,7 +37,7 @@ </property> </widget> </item> - <item row="1" column="0"> + <item row="2" column="0"> <widget class="QPushButton" name="resetButton"> <property name="toolTip"> <string>Reset all to default.</string> @@ -40,7 +47,7 @@ </property> </widget> </item> - <item row="1" column="1"> + <item row="2" column="1"> <spacer name="horizontalSpacer"> <property name="orientation"> <enum>Qt::Horizontal</enum> |