/** * Selects and installs specified file type. * * @param typename Name or description of HRC filetype. */ public void setFileType(FileType typename) { baseEditor.setFileType(typename); }