// these are the settings that are to be saved in the context static public settings_as_string get_context_dependent_settings(text_reader reader, settings_as_string_readonly settings) { if (reader is file_text_reader) { return settings.sub(new []{ "syntax", "syntax_type", "aliases" }); } return new settings_as_string( settings.ToString()); }
// these are the settings that are to be saved in the context static public settings_as_string get_context_dependent_settings(text_reader reader, settings_as_string_readonly settings) { if (reader is file_text_reader) { return(settings.sub(new [] { "syntax", "aliases", "description_template" })); } return(new settings_as_string(settings.ToString())); }
// these are the settings that are to be saved per-log static public settings_as_string get_log_dependent_settings(text_reader reader, settings_as_string_readonly settings) { return(new settings_as_string(settings.ToString())); }
// these are the settings that are to be saved per-log static public settings_as_string get_log_dependent_settings(text_reader reader, settings_as_string_readonly settings) { return new settings_as_string( settings.ToString()); }
// these are the settings that are to be saved in the context static public settings_as_string get_context_dependent_settings(text_reader reader, settings_as_string_readonly settings) { if (reader is file_text_reader) return settings.sub(new []{ "syntax", "aliases", "description_template" }); return new settings_as_string( settings.ToString()); }