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