/** Returns currently used file type. */ public FileType getFileType() { return baseEditor.getFileType(); }