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