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