Refactory: phpmanual plugin.

diff --git a/net.sourceforge.phpeclipse.phpmanual/META-INF/MANIFEST.MF b/net.sourceforge.phpeclipse.phpmanual/META-INF/MANIFEST.MF
index f7c1be3..c9c4371 100644 (file)
--- a/net.sourceforge.phpeclipse.phpmanual/META-INF/MANIFEST.MF
+++ b/net.sourceforge.phpeclipse.phpmanual/META-INF/MANIFEST.MF
@@ -10,10 +10,10 @@ Bundle-Localization: plugin
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.jface.text,
  org.eclipse.ui,
- org.eclipse.ui.editors,
- org.eclipse.ui.workbench.texteditor,
  net.sourceforge.phpeclipse,
  net.sourceforge.phpeclipse.phphelp,
- net.sourceforge.phpeclipse.phpmanual.htmlparser
-Bundle-ActivationPolicy: lazy
+ net.sourceforge.phpeclipse.phpmanual.htmlparser,
+ net.sourceforge.phpeclipse.ui
+Eclipse-LazyStart: true
 Bundle-RequiredExecutionEnvironment: J2SE-1.4
+Import-Package: org.eclipse.ui.texteditor

diff --git a/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java b/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java
index c9b5948..1295b94 100644 (file)
--- a/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java
+++ b/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java
@@ -20,6 +20,7 @@ import net.sourceforge.phpdt.phphelp.PHPHelpPlugin;
 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
 import net.sourceforge.phpeclipse.phpeditor.PHPEditor;
 import net.sourceforge.phpeclipse.phpmanual.PHPManualUIPlugin;
+import net.sourceforge.phpeclipse.ui.WebUI;
 
 import org.eclipse.core.runtime.FileLocator;
 import org.eclipse.core.runtime.Path;
@@ -347,7 +348,7 @@ public class PHPManualView extends ViewPart implements INullSelectionListener, I
         */
        private PHPEditor getJavaEditor() {
                try {
-                       IEditorPart part = PHPeclipsePlugin.getActivePage().getActiveEditor();
+                       IEditorPart part = /*PHPeclipsePlugin*/WebUI.getActivePage().getActiveEditor();
                        if (part instanceof PHPEditor)
                                return (PHPEditor) part;
                        else