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