+++ /dev/null
-/*******************************************************************************
- * 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 org.eclipse.core.resources.IResource;
-import org.eclipse.jface.text.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));
- PHPeclipsePlugin.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();
- PHPeclipsePlugin.getDefault().getProblemMarkerManager().removeListener(
- this);
- }
-
-}