private void load_save(bool load, string prefix)
{
app.load_save(load, ref name, prefix + ".name", "Default");
string settings_str = default_settings_.ToString();
if (load)
{
app.load_save(load, ref settings_str, prefix + ".default_settings");
default_settings_ = new log_settings_string(settings_str);
if (settings_str == "")
{
// ... 1.4.8- kept the old name for persistenting
app.load_save(load, ref settings_str, prefix + ".default_syntax");
if (settings_str != "")
{
default_settings_.syntax.set(settings_str);
}
}
}
else
{
app.load_save(load, ref settings_str, prefix + ".default_settings");
}
int view_count = views.Count;
app.load_save(load, ref view_count, prefix + ".view_count", 0);
if (load)
{
views.Clear();
while (views.Count < view_count)
{
views.Add(new ui_view());
}
}
for (int i = 0; i < view_count; ++i)
{
views[i].load_save(load, prefix + ".view" + i + ".");
}
if (load && views.Count == 0)
{
views.Add(new ui_view()
{
is_default_name = true, name = "View_1"
});
}
}