1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / phpeditor / JavaEditorErrorTickUpdater.java

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
deleted file mode 100644 (file)
index a694062..0000000
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
+++ /dev/null
@@ -1,103 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2000, 2003 IBM Corporation and others.
- * All rights reserved. This program and the accompanying materials 
- * are made available under the terms of the Common Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/cpl-v10.html
- * 
- * Contributors:
- *     IBM Corporation - initial API and implementation
- *******************************************************************************/
-package net.sourceforge.phpeclipse.phpeditor;
-
-import net.sourceforge.phpdt.core.IJavaElement;
-import net.sourceforge.phpdt.internal.ui.viewsupport.IProblemChangedListener;
-import net.sourceforge.phpdt.internal.ui.viewsupport.JavaElementImageProvider;
-import net.sourceforge.phpdt.internal.ui.viewsupport.JavaUILabelProvider;
-import net.sourceforge.phpdt.ui.ProblemsLabelDecorator;
-//import net.sourceforge.phpeclipse.PHPeclipsePlugin;
-import net.sourceforge.phpeclipse.ui.WebUI;
-
-import org.eclipse.core.resources.IResource;
-//incastrix
-//import org.eclipse.jface.text.Assert;
-import org.eclipse.core.runtime.Assert;
-import org.eclipse.swt.graphics.Image;
-import org.eclipse.swt.widgets.Shell;
-import org.eclipse.ui.IEditorInput;
-
-/**
- * The <code>JavaEditorErrorTickUpdater</code> will register as a
- * IProblemChangedListener to listen on problem changes of the editor's input.
- * It updates the title images when the annotation model changed.
- */
-public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
-
-       private PHPEditor fJavaEditor;
-
-       private JavaUILabelProvider fLabelProvider;
-
-       public JavaEditorErrorTickUpdater(PHPEditor editor) {
-               Assert.isNotNull(editor);
-               fJavaEditor = editor;
-               fLabelProvider = new JavaUILabelProvider(0,
-                               JavaElementImageProvider.SMALL_ICONS);
-               fLabelProvider.addLabelDecorator(new ProblemsLabelDecorator(null));
-               WebUI.getDefault().getProblemMarkerManager().addListener(
-                               this);
-       }
-
-       /*
-        * (non-Javadoc)
-        * 
-        * @see IProblemChangedListener#problemsChanged(IResource[], boolean)
-        */
-       public void problemsChanged(IResource[] changedResources,
-                       boolean isMarkerChange) {
-               if (isMarkerChange) {
-                       return;
-               }
-               IEditorInput input = fJavaEditor.getEditorInput();
-               if (input != null) { // might run async, tests needed
-                       IJavaElement jelement = (IJavaElement) input
-                                       .getAdapter(IJavaElement.class);
-                       if (jelement != null) {
-                               IResource resource = jelement.getResource();
-                               for (int i = 0; i < changedResources.length; i++) {
-                                       if (changedResources[i].equals(resource)) {
-                                               updateEditorImage(jelement);
-                                       }
-                               }
-                       }
-               }
-       }
-
-       public void updateEditorImage(IJavaElement jelement) {
-               Image titleImage = fJavaEditor.getTitleImage();
-               if (titleImage == null) {
-                       return;
-               }
-               Image newImage = fLabelProvider.getImage(jelement);
-               if (titleImage != newImage) {
-                       postImageChange(newImage);
-               }
-       }
-
-       private void postImageChange(final Image newImage) {
-               Shell shell = fJavaEditor.getEditorSite().getShell();
-               if (shell != null && !shell.isDisposed()) {
-                       shell.getDisplay().syncExec(new Runnable() {
-                               public void run() {
-                                       fJavaEditor.updatedTitleImage(newImage);
-                               }
-                       });
-               }
-       }
-
-       public void dispose() {
-               fLabelProvider.dispose();
-               WebUI.getDefault().getProblemMarkerManager().removeListener(
-                               this);
-       }
-
-}