public string GetString(PlatformName pn, Controller.Id id)
{
return dict[pn.ToString() + id.ToString()];
}
private void SetString(PlatformName pn, Controller.Id id, string s)
{
if (dict == null) {
dict = new Dictionary<string,string>();
}
dict.Add(pn.ToString() + id.ToString(), s);
}
