public void view(string name, view_info vi) { if (!views_.ContainsKey(name)) { views_.Add(name, vi); } else { views_[name] = vi; } }
internal static view_info from_string(string s) { view_info vi = new view_info(); if (s == "") { return(vi); } var from = s.Split('/'); if (from[0] != "3") { // older version return(vi); } Debug.Assert(from.Length == 2); vi.show_full_log_ = from[1] != "0"; return(vi); }
public void view(string name, view_info vi) { if (!views_.ContainsKey(name)) views_.Add(name, vi); else views_[name] = vi; }
internal static view_info from_string(string s) { view_info vi = new view_info(); if ( s == "") return vi; var from = s.Split('/'); if (from[0] != "3") // older version return vi; Debug.Assert(from.Length == 3); vi.show_full_log_ = from[1] != "0"; return vi; }