private void do_open_log(string initial_settings_str, string config_file) {
var add = new edit_log_settings_form(initial_settings_str, edit_log_settings_form.edit_type.add);
if (config_file != "")
add.load_config(config_file);
if (add.ShowDialog(this) == DialogResult.OK) {
log_settings_string settings = new log_settings_string(add.settings);
if (is_log_in_history(ref settings)) {
// we already have this in history
create_text_reader(settings);
return;
}
var new_ = new history();
new_.from_settings(settings);
history_list_.add_history(new_);
global_ui.last_log_guid = new_.guid;
Text = reader_title();
create_text_reader(new_.write_settings);
save();
}
}