diff options
Diffstat (limited to 'portato/gui/templates')
| -rw-r--r-- | portato/gui/templates/portato.glade | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/portato/gui/templates/portato.glade b/portato/gui/templates/portato.glade index 8b577e3..baedf91 100644 --- a/portato/gui/templates/portato.glade +++ b/portato/gui/templates/portato.glade @@ -1762,6 +1762,23 @@ <property name="position">2</property> </packing> </child> + <child> + <widget class="GtkCheckButton" id="searchOnTypeCheck"> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="has_tooltip">True</property> + <property name="tooltip_markup">Update the package list with the current search results while you are typing. +<b>Note</b>: Will slow down the typing process.</property> + <property name="label" translatable="yes">Search while typing</property> + <property name="yalign">0.47999998927116394</property> + <property name="response_id">-3</property> + <property name="draw_indicator">True</property> + </widget> + <packing> + <property name="position">3</property> + </packing> + </child> </widget> </child> </widget> |