} else {
// should never happen?
workspaceLocation = PHPeclipsePlugin.getWorkspace().getRoot()
- .getLocation().toString();
+ .getFullPath().toString();
}
String filename = workspaceLocation + fLocation.getFilename();
PHPDocUtil.appendPHPDoc(hoverInfoBuffer, filename, fLocation);
String workspaceLocation;
String workspaceName;
if (fProject != null) {
- workspaceLocation = fProject.getLocation().toString() + '/';
+ workspaceLocation = fProject.getFullPath().toString() + '/';
workspaceName = fProject.getName().toString() + '/';
} else {
// should never happen?
workspaceLocation = PHPeclipsePlugin.getWorkspace().getRoot()
- .getLocation().toString();
+ .getFullPath().toString();
workspaceName = workspaceLocation;
}
String filename = fLocation.getFilename();