void RestoreMatchesWindow () { if (no_matches_box != null) { hpaned.Remove (no_matches_box); hpaned.Add2 (matches_window); no_matches_box = null; RestorePosition(); } }