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