Better event handling for browser preview refreshs in Wikipedia plugin

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / ui / JavaUI.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/JavaUI.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/JavaUI.java
index 23ff50e..84b9c32 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/JavaUI.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/JavaUI.java
@@ -14,10 +14,9 @@ import net.sourceforge.phpdt.core.IBufferFactory;
 import net.sourceforge.phpdt.core.IJavaElement;
 import net.sourceforge.phpdt.core.IWorkingCopy;
 import net.sourceforge.phpdt.core.JavaModelException;
-import net.sourceforge.phpeclipse.PHPCore;
+import net.sourceforge.phpdt.core.JavaCore;
 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
 import net.sourceforge.phpeclipse.phpeditor.EditorUtility;
-import net.sourceforge.phpeclipse.phpeditor.PHPDocumentProvider;
 
 import org.eclipse.ui.IEditorPart;
 import org.eclipse.ui.ISharedImages;
@@ -556,7 +555,7 @@ public final class JavaUI {
         * @since 2.0
         */
        public static IWorkingCopy[] getSharedWorkingCopies() {
-               return PHPCore.getSharedWorkingCopies(getBufferFactory());
+               return JavaCore.getSharedWorkingCopies(getBufferFactory());
        }
        
        /**
@@ -583,7 +582,7 @@ public final class JavaUI {
 //             }
 //             return (IWorkingCopy[])result.toArray(new IWorkingCopy[result.size()]);
 //     }
-       
+        
        /**
         * Returns the BufferFactory for the Java UI plug-in.
         *
@@ -591,14 +590,13 @@ public final class JavaUI {
         * 
         * @see org.eclipse.jdt.core.IBufferFactory
         * @since 2.0
+        * @deprecated {@link IBufferFactory} has been replaced by {@link org.eclipse.jdt.core.WorkingCopyOwner}.
+        * The Java UI plug-in uses the <i>primary working copy owner</i> that can be accessed with <code>null</code> in
+        * API's that require an owner
         */
        public static IBufferFactory getBufferFactory() {
-               PHPDocumentProvider provider= PHPeclipsePlugin.getDefault().getCompilationUnitDocumentProvider();
-               if (provider != null)
-                       return provider.getBufferFactory();
-               return null;
+               return PHPeclipsePlugin.getDefault().getBufferFactory();
        }
-
        /**
         * Returns the DocumentProvider used for Java compilation units.
         *