public InputFileSection(string section) { input_file = null; input_section = section; selection = InputFileSelection.All; }