import net.sourceforge.phpeclipse.resourcesview.ResourceAdapterFactory;
import org.eclipse.core.boot.BootLoader;
+import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IWorkspace;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.plugin.AbstractUIPlugin;
-import org.eclipse.ui.texteditor.ITextEditor;
/**
* The main plugin class to be used in the desktop.
private ImageDescriptorRegistry fImageDescriptorRegistry;
private PHPDocumentProvider fCompilationUnitDocumentProvider;
- private ITextEditor fTextEditor = null;
+ private IFile fLastEditorFile = null;
private JavaTextTools fJavaTextTools;
ColorManager.getDefault().dispose();
}
- public void setTextEditor(ITextEditor textEditor) {
- this.fTextEditor = textEditor;
+ public void setLastEditorFile(IFile textEditor) {
+ this.fLastEditorFile = textEditor;
}
- public ITextEditor getTextEditor() {
- return fTextEditor;
+ public IFile getLastEditorFile() {
+ return fLastEditorFile;
}
}
\ No newline at end of file