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;
//import org.eclipse.jface.preference.PreferenceConverter;
import org.eclipse.jface.resource.ImageDescriptor;
import org.eclipse.jface.resource.ImageRegistry;
-import org.eclipse.jface.resource.JFaceResources;
+//import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.templates.ContextTypeRegistry;
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);
}
}
public static void logErrorMessage(String message) {
log(new Status(IStatus.ERROR, getPluginId(),IJavaStatusConstants.INTERNAL_ERROR, message, null));
}
+ public static void log(int severity, String message) {
+ Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message,
+ null);
+ log(status);
+ }
+
public static void log(String message, Throwable t) {
log(error(message, t));
}