public static BugzillaServer LoadServer(ServerInfo si) { BugzillaServer srv = servers.FirstOrDefault (s => s.Id == si.Id); if (srv != null) return srv; srv = BugzillaServer.Load (si.Id); servers.Add (srv); SaveIndex (); return srv; }
void FillServer(ServerInfo s) { if (s != null) { vpaned1.Sensitive = true; server = BugzillaService.LoadServer (s); Fill (); } else { server = null; bugsStore.Clear (); countLabel.Text = string.Empty; vpaned1.Sensitive = false; } }