/** * Selects and installs coloring style (filetype) according to filename string and current first * line of text. * * @param filename File name to be used to autodetect filetype */ public FileType chooseFileType(String filename) { return baseEditor.chooseFileType(filename); }