public void ToggleMatchQuery ()
{
if (query_box.Entry.HasFocus) {
query_box.Hide ();
} else {
query_box.Show ();
query_box.Entry.GrabFocus ();
}
}
void OnSelectMatching(object o, EventArgs args) { app.ToggleMatchQuery(); }