@WorkbenchPartTitle
 public String getTitle() {
   String fileName = FileNameUtil.removeExtension(path, type);
   if (version != null) {
     fileName = fileName + " v" + version;
   }
   return "DSL Editor [" + fileName + "]";
 }
Example #2
0
 @WorkbenchPartTitle
 public String getTitle() {
   return view.getTitle(
       FileNameUtil.removeExtension(versionRecordManager.getCurrentPath(), type),
       versionRecordManager.getVersion());
 }