X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java index ca6517c..4dbdae9 100644 --- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java +++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java @@ -669,8 +669,8 @@ public class WebUI extends AbstractUIPlugin implements IPreferenceConstants { 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); } }