Exemple #1
0
 @WorkbenchPartView
 public IsWidget getWidget() {
   return view.asWidget();
 }
Exemple #2
0
 @WorkbenchPartTitle
 public String getTitle() {
   return view.getTitle(
       FileNameUtil.removeExtension(versionRecordManager.getCurrentPath(), type),
       versionRecordManager.getVersion());
 }