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(); }