import net.sourceforge.phpeclipse.builder.ExternalStorageDocumentProvider;
import net.sourceforge.phpeclipse.builder.FileStorage;
import net.sourceforge.phpeclipse.builder.IdentifierIndexManager;
-import net.sourceforge.phpeclipse.phpeditor.DocumentAdapter;
+import net.sourceforge.phpeclipse.DocumentAdapter;
import net.sourceforge.phpeclipse.phpeditor.ICompilationUnitDocumentProvider;
import net.sourceforge.phpeclipse.phpeditor.PHPDocumentProvider;
//import net.sourceforge.phpeclipse.phpeditor.PHPSyntaxRdr;
if (textEditor != null) {
// If a line number was given, go to it
if (offset >= 0) {
- IDocument document = textEditor.getDocumentProvider()
- .getDocument(textEditor.getEditorInput());
+// IDocument document = textEditor.getDocumentProvider()
+// .getDocument(textEditor.getEditorInput());
textEditor.selectAndReveal(offset, length);
}
}