private void CheckNoMatch()
{
MatchType matches = view.MatchState;
if (matches == MatchType.Matched)
{
pages.CurrentPage = pages.PageNum(panes);
return;
}
if (nomatch != null)
{
nomatch.Destroy();
}
nomatch = new Pages.NoMatch(query_text, matches == MatchType.NoneInScope || scope_list.Active != 0);
nomatch.Show();
pages.Add(nomatch);
pages.CurrentPage = pages.PageNum(nomatch);
// Since there is no match, possibly the user wants to modify query; focus the search entry field.
GrabEntryFocus();
}
private void CheckNoMatch ()
{
MatchType matches = view.MatchState;
if (matches == MatchType.Matched) {
pages.CurrentPage = pages.PageNum (panes);
return;
}
if (nomatch != null)
nomatch.Destroy ();
nomatch = new Pages.NoMatch (query_text, matches == MatchType.NoneInScope || scope_list.Active != 0);
nomatch.Show ();
pages.Add (nomatch);
pages.CurrentPage = pages.PageNum (nomatch);
// Since there is no match, possibly the user wants to modify query; focus the search entry field.
GrabEntryFocus ();
}
