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