Gtk UI: improvements in search widget.