04d04fc2fd4bf479804fd4bc3844cf95e4125fde
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / PHPeclipsePlugin.java
1 /**********************************************************************
2 Copyright (c) 2000, 2002 IBM Corp. and others.
3 All rights reserved. This program and the accompanying materials
4 are made available under the terms of the Common Public License v1.0
5 which accompanies this distribution, and is available at
6 http://www.eclipse.org/legal/cpl-v10.html
7
8 Contributors:
9     IBM Corporation - Initial implementation
10     Klaus Hartlage - www.eclipseproject.de
11 **********************************************************************/
12 package net.sourceforge.phpeclipse;
13
14 import java.io.File;
15 import java.util.Collection;
16 import java.util.HashMap;
17 import java.util.Iterator;
18
19 import net.sourceforge.phpdt.externaltools.internal.model.ColorManager;
20 import net.sourceforge.phpdt.externaltools.internal.model.ExternalToolsPlugin;
21 import net.sourceforge.phpdt.externaltools.internal.model.VariableContextManager;
22 import net.sourceforge.phpdt.internal.ui.preferences.TemplatePreferencePage;
23 import net.sourceforge.phpdt.internal.ui.viewsupport.ImageDescriptorRegistry;
24 import net.sourceforge.phpdt.ui.PreferenceConstants;
25 import net.sourceforge.phpdt.ui.text.JavaTextTools;
26 import net.sourceforge.phpeclipse.builder.ExternalEditorInput;
27 import net.sourceforge.phpeclipse.builder.ExternalStorageDocumentProvider;
28 import net.sourceforge.phpeclipse.builder.FileStorage;
29 import net.sourceforge.phpeclipse.builder.IdentifierIndexManager;
30 import net.sourceforge.phpeclipse.phpeditor.PHPDocumentProvider;
31 import net.sourceforge.phpeclipse.phpeditor.PHPSyntaxRdr;
32 import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider;
33 import net.sourceforge.phpeclipse.resourcesview.PHPElement;
34 import net.sourceforge.phpeclipse.resourcesview.PHPElementAdapterFactory;
35 import net.sourceforge.phpeclipse.resourcesview.ResourceAdapterFactory;
36
37 import org.eclipse.core.boot.BootLoader;
38 import org.eclipse.core.resources.IFile;
39 import org.eclipse.core.resources.IProject;
40 import org.eclipse.core.resources.IResource;
41 import org.eclipse.core.resources.IWorkspace;
42 import org.eclipse.core.resources.ResourcesPlugin;
43 import org.eclipse.core.runtime.CoreException;
44 import org.eclipse.core.runtime.IAdapterManager;
45 import org.eclipse.core.runtime.IPath;
46 import org.eclipse.core.runtime.IPluginDescriptor;
47 import org.eclipse.core.runtime.IStatus;
48 import org.eclipse.core.runtime.Path;
49 import org.eclipse.core.runtime.Platform;
50 import org.eclipse.core.runtime.Status;
51 import org.eclipse.jface.preference.IPreferenceStore;
52 import org.eclipse.jface.preference.PreferenceConverter;
53 import org.eclipse.jface.text.BadLocationException;
54 import org.eclipse.jface.text.IDocument;
55 import org.eclipse.swt.widgets.Display;
56 import org.eclipse.swt.widgets.Shell;
57 import org.eclipse.ui.IEditorDescriptor;
58 import org.eclipse.ui.IEditorInput;
59 import org.eclipse.ui.IEditorPart;
60 import org.eclipse.ui.IEditorRegistry;
61 import org.eclipse.ui.IWorkbench;
62 import org.eclipse.ui.IWorkbenchPage;
63 import org.eclipse.ui.IWorkbenchWindow;
64 import org.eclipse.ui.PlatformUI;
65 import org.eclipse.ui.plugin.AbstractUIPlugin;
66 import org.eclipse.ui.texteditor.IDocumentProvider;
67 import org.eclipse.ui.texteditor.ITextEditor;
68
69 /**
70  * The main plugin class to be used in the desktop.
71  */
72 public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceConstants {
73   /**
74    * The id of the PHP plugin (value <code>"net.sourceforge.phpeclipse"</code>).
75    */
76   public static final String PLUGIN_ID = "net.sourceforge.phpeclipse"; //$NON-NLS-1$
77
78   /** 
79    * id of builder - matches plugin.xml (concatenate pluginid.builderid) 
80    */
81   public static final String BUILDER_INDEX_ID = PLUGIN_ID + ".indexbuilder";
82   public static final String BUILDER_PARSER_ID = PLUGIN_ID + ".parserbuilder";
83
84   /** General debug flag*/
85   public static final boolean DEBUG = false;
86
87         /**
88          * The maximum number of allowed proposals by category
89          */
90         public final static int MAX_PROPOSALS = 200;
91         
92   private static ExternalToolsPlugin externalTools;
93
94   /**
95   * The Java virtual machine that we are running on.
96   */
97   private static int jvm;
98
99   /** MRJ 2.0 */
100   private static final int MRJ_2_0 = 0;
101
102   /** MRJ 2.1 or later */
103   private static final int MRJ_2_1 = 1;
104
105   /** Java on Mac OS X 10.0 (MRJ 3.0) */
106   private static final int MRJ_3_0 = 3;
107
108   /** MRJ 3.1 */
109   private static final int MRJ_3_1 = 4;
110
111   /** JVM constant for any other platform */
112   private static final int OTHER = -1;
113
114   // public static final String PHP_RESOURCES_VIEW_ID = PLUGIN_ID + ".resourcesview.ViewPHPResources"; //$NON-NLS-1$
115   public static final String PHP_CODING_ACTION_SET_ID = PLUGIN_ID + ".ui.CodingActionSet"; //$NON-NLS-1$
116   public final static String PHP_NATURE_ID = PLUGIN_ID + ".phpnature";
117
118   public static final String PHPPARSER_ORIGINAL = "net.sourceforge.phpdt.internal.compiler.parser.Parser";
119
120   public static final String PHPPARSER_NEW = "test.PHPParser";
121
122   /** Change this if you want to switch PHP Parser. */
123   public static final String PHPPARSER = PHPPARSER_ORIGINAL;
124
125   //The shared instance.
126   private static PHPeclipsePlugin plugin;
127
128   /** Windows 9x  */
129   private static final int WINDOWS_9x = 6;
130
131   /** Windows NT  */
132   private static final int WINDOWS_NT = 5;
133   private PHPDocumentProvider fCompilationUnitDocumentProvider;
134  
135   private ImageDescriptorRegistry fImageDescriptorRegistry;
136   private HashMap fIndexManagerMap = new HashMap();
137
138   private JavaTextTools fJavaTextTools;
139   private IFile fLastEditorFile = null;
140
141   /**
142    * The constructor.
143    */
144   public PHPeclipsePlugin(IPluginDescriptor descriptor) {
145     super(descriptor);
146     plugin = this;
147     setJVM();
148     externalTools = new ExternalToolsPlugin();
149     //    try {
150     //      resourceBundle = ResourceBundle.getBundle("net.sourceforge.PHPeclipsePluginResources");
151     //    } catch (MissingResourceException x) {
152     //      resourceBundle = null;
153     //    }
154   }
155
156   public static IWorkbenchPage getActivePage() {
157     return getDefault().internalGetActivePage();
158   }
159
160   public static Shell getActiveWorkbenchShell() {
161     return getActiveWorkbenchWindow().getShell();
162   }
163
164   public static IWorkbenchWindow getActiveWorkbenchWindow() {
165     return getDefault().getWorkbench().getActiveWorkbenchWindow();
166   }
167   /**
168    * Returns the shared instance.
169    */
170   public static PHPeclipsePlugin getDefault() {
171     return plugin;
172   }
173
174   public static ImageDescriptorRegistry getImageDescriptorRegistry() {
175     return getDefault().internalGetImageDescriptorRegistry();
176   }
177
178   static IPath getInstallLocation() {
179     return new Path(getDefault().getDescriptor().getInstallURL().getFile());
180   }
181   public static int getJVM() {
182     return jvm;
183   }
184
185   public static String getPluginId() {
186     return getDefault().getDescriptor().getUniqueIdentifier();
187   }
188
189   /**
190    * Returns the standard display to be used. The method first checks, if
191    * the thread calling this method has an associated display. If so, this
192    * display is returned. Otherwise the method returns the default display.
193    */
194   public static Display getStandardDisplay() {
195     Display display = Display.getCurrent();
196     if (display == null) {
197       display = Display.getDefault();
198     }
199     return display;
200   }
201
202   //  public static ExternalToolsPlugin getExternalTools() {
203   //    return externalTools;
204   //  }
205   /**
206    * Returns the workspace instance.
207    */
208   public static IWorkspace getWorkspace() {
209     return ResourcesPlugin.getWorkspace();
210   }
211
212   public static boolean isDebug() {
213     return getDefault().isDebugging();
214   }
215
216   //  public static void logErrorMessage(String message) {
217   //    log(new Status(IStatus.ERROR, getPluginId(), JavaStatusConstants.INTERNAL_ERROR, message, null));
218   //  }
219   //
220   //  public static void logErrorStatus(String message, IStatus status) {
221   //    if (status == null) {
222   //      logErrorMessage(message);
223   //      return;
224   //    }
225   //    MultiStatus multi= new MultiStatus(getPluginId(), JavaStatusConstants.INTERNAL_ERROR, message, null);
226   //    multi.add(status);
227   //    log(multi);
228   //  }
229   //
230   //  public static void log(Throwable e) {
231   //    log(new Status(IStatus.ERROR, getPluginId(), JavaStatusConstants.INTERNAL_ERROR, JavaUIMessages.getString("JavaPlugin.internal_error"), e)); //$NON-NLS-1$
232   //  }
233
234   public static void log(int severity, String message) {
235     Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message, null);
236     log(status);
237   }
238
239   public static void log(IStatus status) {
240     getDefault().getLog().log(status);
241   }
242   public static void log(Throwable e) {
243     log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, "PHPeclipsePlugin.internalErrorOccurred", e)); //$NON-NLS-1$
244   }
245
246   private static void setJVM() {
247     String osName = System.getProperty("os.name");
248
249     if (osName.startsWith("Mac OS")) {
250       String mrjVersion = System.getProperty("mrj.version");
251       String majorMRJVersion = mrjVersion.substring(0, 3);
252       jvm = OTHER;
253       try {
254
255         double version = Double.valueOf(majorMRJVersion).doubleValue();
256
257         if (version == 2) {
258           jvm = MRJ_2_0;
259         } else if (version >= 2.1 && version < 3) {
260           jvm = MRJ_2_1;
261         } else if (version == 3.0) {
262           jvm = MRJ_3_0;
263         } else if (version >= 3.1) {
264           jvm = MRJ_3_1;
265         }
266
267       } catch (NumberFormatException nfe) {
268
269       }
270
271     } else if (osName.startsWith("Windows")) {
272       if (osName.indexOf("9") != -1) {
273         jvm = WINDOWS_9x;
274       } else {
275         jvm = WINDOWS_NT;
276       }
277     }
278   }
279
280   // TODO: refactor this into a better method name !
281   public synchronized PHPDocumentProvider getCompilationUnitDocumentProvider() {
282     if (fCompilationUnitDocumentProvider == null)
283       fCompilationUnitDocumentProvider = new PHPDocumentProvider();
284     return fCompilationUnitDocumentProvider;
285   }
286
287   /**
288    * Get the identifier index manager for the given project
289    * 
290    * @param iProject the current project
291    * @return
292    */
293   public IdentifierIndexManager getIndexManager(IProject iProject) {
294     String indexFilename = iProject.getLocation() + File.separator + "project.index";
295     IdentifierIndexManager indexManager = (IdentifierIndexManager) fIndexManagerMap.get(indexFilename);
296     if (indexManager == null) {
297       indexManager = new IdentifierIndexManager(indexFilename);
298       fIndexManagerMap.put(indexFilename, indexManager);
299     }
300     return indexManager;
301   }
302
303   public synchronized JavaTextTools getJavaTextTools() {
304     if (fJavaTextTools == null)
305       fJavaTextTools = new JavaTextTools(getPreferenceStore());
306     return fJavaTextTools;
307   }
308
309   public IFile getLastEditorFile() {
310     return fLastEditorFile;
311   }
312
313   /**
314    * Returns the string from the plugin's resource bundle,
315    * or 'key' if not found.
316    */
317   //  public static String getResourceString(String key) {
318   //    ResourceBundle bundle = PHPeclipsePlugin.getDefault().getResourceBundle();
319   //    try {
320   //      return bundle.getString(key);
321   //    } catch (MissingResourceException e) {
322   //      return key;
323   //    }
324   //  }
325
326   /**
327    * Returns the plugin's resource bundle,
328    */
329   //  public ResourceBundle getResourceBundle() {
330   //    return resourceBundle;
331   //  }
332
333   protected void initializeDefaultPreferences(IPreferenceStore store) {
334     // windows preferences:
335     store.setDefault(LOCALHOST_PREF, "http://localhost");
336
337     store.setDefault(SHOW_EXTERNAL_PREVIEW_PREF, "true");
338     store.setDefault(USE_EXTERNAL_BROWSER_PREF, "false");
339     store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
340
341     String windowsSystem = BootLoader.getWS();
342
343     if (jvm == WINDOWS_9x) {
344       store.setDefault(EXTERNAL_BROWSER_PREF, "command.com /c start iexplore {0}");
345     } else if (windowsSystem.equals(BootLoader.WS_WIN32)) {
346       store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}");
347     } else if (windowsSystem.equals(BootLoader.WS_CARBON)) {
348       // TODO How do we start Safari on Mac OS X ?
349       store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
350     } else {
351       store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
352     }
353     store.setDefault(DOCUMENTROOT_PREF, getWorkspace().getRoot().getLocation().toString());
354
355     //  if ((jvm == WINDOWS_9x) || (jvm == WINDOWS_NT)) {
356     //  
357     if (windowsSystem.equals(BootLoader.WS_WIN32)) {
358       store.setDefault(PHP_RUN_PREF, "c:\\apache\\php\\php.exe");
359       store.setDefault(EXTERNAL_PARSER_PREF, "c:\\apache\\php\\php -l -f {0}");
360       store.setDefault(MYSQL_RUN_PREF, "c:\\apache\\mysql\\bin\\mysqld-nt.exe");
361       store.setDefault(APACHE_RUN_PREF, "c:\\apache\\apache.exe");
362     } else {
363
364       store.setDefault(PHP_RUN_PREF, "/apache/php/php");
365       store.setDefault(EXTERNAL_PARSER_PREF, "/apache/php/php -l -f {0}");
366       store.setDefault(MYSQL_RUN_PREF, "/apache/mysql/bin/mysqld");
367       store.setDefault(APACHE_RUN_PREF, "/apache/apache");
368
369     }
370     store.setDefault(MYSQL_PREF, "--standalone");
371     store.setDefault(APACHE_START_PREF, "-c \"DocumentRoot \"{0}\"\"");
372     store.setDefault(APACHE_STOP_PREF, "-k shutdown");
373     store.setDefault(APACHE_RESTART_PREF, "-k restart");
374
375     store.setDefault(MYSQL_START_BACKGROUND, "true");
376     store.setDefault(APACHE_START_BACKGROUND, "true");
377     store.setDefault(APACHE_STOP_BACKGROUND, "true");
378     store.setDefault(APACHE_RESTART_BACKGROUND, "true");
379
380     store.setDefault(PHP_PARSER_DEFAULT, PHP_EXTERNAL_PARSER);
381     store.setDefault(PHP_INTERNAL_PARSER, "false");
382     store.setDefault(PHP_EXTERNAL_PARSER, "true");
383
384     //    store.setDefault(PHP_PARSE_ON_SAVE, "true");
385
386     // show line numbers:
387     //   store.setDefault(LINE_NUMBER_RULER, "false");
388     //    store.setDefault(FORMATTER_TAB_SIZE, "4");
389
390     // php syntax highlighting
391     store.setDefault(PHP_USERDEF_XMLFILE, "");
392     //assume there is none  chooA
393
394     PreferenceConverter.setDefault(store, PHP_MULTILINE_COMMENT, PHPColorProvider.MULTI_LINE_COMMENT);
395     PreferenceConverter.setDefault(store, PHP_SINGLELINE_COMMENT, PHPColorProvider.SINGLE_LINE_COMMENT);
396     PreferenceConverter.setDefault(store, PHP_KEYWORD, PHPColorProvider.KEYWORD);
397     PreferenceConverter.setDefault(store, PHP_VARIABLE, PHPColorProvider.VARIABLE);
398     PreferenceConverter.setDefault(store, PHP_FUNCTIONNAME, PHPColorProvider.FUNCTION_NAME);
399     PreferenceConverter.setDefault(store, PHP_CONSTANT, PHPColorProvider.CONSTANT);
400     PreferenceConverter.setDefault(store, PHP_TYPE, PHPColorProvider.TYPE);
401     PreferenceConverter.setDefault(store, PHP_STRING, PHPColorProvider.STRING);
402     PreferenceConverter.setDefault(store, PHP_DEFAULT, PHPColorProvider.DEFAULT);
403     
404                 PreferenceConverter.setDefault(store, PHPDOC_KEYWORD, PHPColorProvider.PHPDOC_KEYWORD);
405                 PreferenceConverter.setDefault(store, PHPDOC_TAG, PHPColorProvider.PHPDOC_TAG);
406                 PreferenceConverter.setDefault(store, PHPDOC_LINK, PHPColorProvider.PHPDOC_LINK);
407                 PreferenceConverter.setDefault(store, PHPDOC_DEFAULT, PHPColorProvider.PHPDOC_DEFAULT);
408                         
409     //    PreferenceConverter.setDefault(
410     //      store,
411     //      PHP_EDITOR_BACKGROUND,
412     //      PHPColorProvider.BACKGROUND);
413     //    PreferenceConverter.setDefault(
414     //      store,
415     //      LINKED_POSITION_COLOR,
416     //      PHPColorProvider.LINKED_POSITION_COLOR);
417     //    PreferenceConverter.setDefault(
418     //      store,
419     //      LINE_NUMBER_COLOR,
420     //      PHPColorProvider.LINE_NUMBER_COLOR);
421
422     //    // set default PHPDoc colors:
423     //    PreferenceConverter.setDefault(
424     //      store,
425     //      PHPDOC_KEYWORD, 
426     //      PHPColorProvider.PHPDOC_KEYWORD);
427     //    PreferenceConverter.setDefault(
428     //      store,
429     //      PHPDOC_LINK, 
430     //      PHPColorProvider.PHPDOC_LINK);      
431     //    PreferenceConverter.setDefault(
432     //      store,
433     //      PHPDOC_DEFAULT, 
434     //      PHPColorProvider.PHPDOC_DEFAULT);
435     //    PreferenceConverter.setDefault(
436     //      store,
437     //      PHPDOC_TAG, 
438     //      PHPColorProvider.PHPDOC_TAG);
439
440     //    store.setDefault(PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, "true");
441     //    PreferenceConverter.setDefault(
442     //      store,
443     //      PREFERENCE_COLOR_BACKGROUND,
444     //      PHPColorProvider.BACKGROUND_COLOR);
445
446     //language stuff
447     store.setDefault(RESOURCE_BUNDLE, LANGUAGE_DEFAULT);
448     store.setDefault(RESOURCE_BUNDLE_EN_GB, "true");
449     store.setDefault(RESOURCE_BUNDLE_DE, "false");
450     store.setDefault(RESOURCE_BUNDLE_FR, "false");
451     store.setDefault(RESOURCE_BUNDLE_ES, "false");
452
453     store.setDefault(PHP_OUTLINE_CLASS, "true"); //$NON-NLS-1$
454     store.setDefault(PHP_OUTLINE_FUNC, "true"); //$NON-NLS-1$
455     store.setDefault(PHP_OUTLINE_VAR, "true"); //$NON-NLS-1$
456
457     TemplatePreferencePage.initDefaults(store);
458     //this will initialize the static fields in the syntaxrdr class
459     new PHPSyntaxRdr();
460
461     PHPCore.initializeDefaultPluginPreferences();
462     PreferenceConstants.initializeDefaultValues(store);
463
464     externalTools.initializeDefaultPreferences(store);
465   }
466
467   private IWorkbenchPage internalGetActivePage() {
468     IWorkbenchWindow window = getWorkbench().getActiveWorkbenchWindow();
469     if (window != null)
470       return window.getActivePage();
471     return null;
472   }
473
474   private ImageDescriptorRegistry internalGetImageDescriptorRegistry() {
475     if (fImageDescriptorRegistry == null)
476       fImageDescriptorRegistry = new ImageDescriptorRegistry();
477     return fImageDescriptorRegistry;
478   }
479   /**
480         * Open a file in the Workbench that may or may not exist in the workspace.
481         * Must be run on the UI thread.
482         * @param filename
483         * @throws CoreException
484         */
485   public ITextEditor openFileInTextEditor(String filename) throws CoreException {
486
487     //  reject directories
488     if (new File(filename).isDirectory())
489       return null;
490
491     IWorkbench workbench = PlatformUI.getWorkbench();
492     IWorkbenchWindow window = workbench.getWorkbenchWindows()[0];
493     IWorkbenchPage page = window.getActivePage();
494     IPath path = new Path(filename);
495
496     // If the file exists in the workspace, open it
497     IFile file = getWorkspace().getRoot().getFileForLocation(path);
498     IEditorPart editor;
499     ITextEditor textEditor;
500     if (file != null && file.exists()) {
501       editor = page.openEditor(file);
502       textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
503     } else {
504       // Otherwise open the stream directly
505       if (page == null)
506         return null;
507       FileStorage storage = new FileStorage(path);
508       IEditorRegistry registry = getWorkbench().getEditorRegistry();
509       IEditorDescriptor desc = registry.getDefaultEditor(filename);
510       if (desc == null) {
511         desc = registry.getDefaultEditor();
512       }
513       IEditorInput input = new ExternalEditorInput(storage);
514       editor = page.openEditor(input, desc.getId());
515       textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
516
517       // If the storage provider is not ours, we can't guarantee read/write.
518       if (textEditor != null) {
519         IDocumentProvider documentProvider = textEditor.getDocumentProvider();
520         if (!(documentProvider instanceof ExternalStorageDocumentProvider)) {
521           storage.setReadOnly();
522         }
523       }
524     }
525     return textEditor;
526   }
527   /**
528         * Open a file in the Workbench that may or may not exist in the workspace.
529         * Must be run on the UI thread.
530         * @param filename
531         * @param line
532         * @throws CoreException
533         */
534   public void openFileAndGotoLine(String filename, int line) throws CoreException {
535
536     ITextEditor textEditor = openFileInTextEditor(filename);
537     if (textEditor != null) {
538       // If a line number was given, go to it
539       if (line > 0) {
540         try {
541           line--; // document is 0 based
542           IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
543           textEditor.selectAndReveal(document.getLineOffset(line), document.getLineLength(line));
544
545         } catch (BadLocationException e) {
546           // invalid text position -> do nothing
547         }
548       }
549     }
550   }
551
552   /**
553         * Open a file in the Workbench that may or may not exist in the workspace.
554         * Must be run on the UI thread.
555         * @param filename
556         * @param offset
557         * @throws CoreException
558         */
559   public void openFileAndGotoOffset(String filename, int offset, int length) throws CoreException {
560
561     ITextEditor textEditor = openFileInTextEditor(filename);
562     if (textEditor != null) {
563       // If a line number was given, go to it
564       if (offset >= 0) {
565         IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
566         textEditor.selectAndReveal(offset, length);
567       }
568     }
569   }
570
571   public void openFileAndFindString(String filename, String findString) throws CoreException {
572
573     ITextEditor textEditor = openFileInTextEditor(filename);
574     if (textEditor != null) {
575       //                If a string was given, go to it
576       if (findString != null) {
577         try {
578           IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
579           int offset = document.search(0, findString, true, false, true);
580           textEditor.selectAndReveal(offset, findString.length());
581
582         } catch (BadLocationException e) {
583           // invalid text position -> do nothing
584         }
585
586       }
587     }
588   }
589   public void setLastEditorFile(IFile textEditor) {
590     this.fLastEditorFile = textEditor;
591   }
592
593   /**
594    * @see org.eclipse.ui.plugin.AbstractUIPlugin#shutdown()
595    */
596   public void shutdown() throws CoreException {
597     super.shutdown();
598
599     //  externalTools.shutDown();
600     ColorManager.getDefault().dispose();
601
602     // save the information from the php index files if necessary
603     Collection collection = fIndexManagerMap.values();
604     Iterator iterator = collection.iterator();
605     IdentifierIndexManager indexManager = null;
606     while (iterator.hasNext()) {
607       indexManager = (IdentifierIndexManager) iterator.next();
608       indexManager.writeFile();
609     }
610
611   }
612
613   public void startup() throws CoreException {
614     super.startup();
615     IAdapterManager manager = Platform.getAdapterManager();
616     manager.registerAdapters(new PHPElementAdapterFactory(), PHPElement.class);
617     manager.registerAdapters(new ResourceAdapterFactory(), IResource.class);
618     //  externalTools.startUp(); 
619     getStandardDisplay().asyncExec(new Runnable() {
620       public void run() {
621         //initialize the variable context manager
622         VariableContextManager.getDefault();
623       }
624     });
625   }
626
627 }