X-Git-Url: http://git.phpeclipse.com
diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
index af78de1..7d849d9 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
@@ -24,35 +24,42 @@ import org.eclipse.swt.widgets.Shell;
import org.eclipse.ui.IEditorInput;
/**
- * The JavaEditorErrorTickUpdater
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.
+ * The JavaEditorErrorTickUpdater
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);
+ fJavaEditor = editor;
+ fLabelProvider = new JavaUILabelProvider(0,
+ JavaElementImageProvider.SMALL_ICONS);
fLabelProvider.addLabelDecorator(new ProblemsLabelDecorator(null));
- PHPeclipsePlugin.getDefault().getProblemMarkerManager().addListener(this);
+ PHPeclipsePlugin.getDefault().getProblemMarkerManager().addListener(
+ this);
}
-
- /* (non-Javadoc)
+
+ /*
+ * (non-Javadoc)
+ *
* @see IProblemChangedListener#problemsChanged(IResource[], boolean)
*/
- public void problemsChanged(IResource[] changedResources, boolean isMarkerChange) {
+ public void problemsChanged(IResource[] changedResources,
+ boolean isMarkerChange) {
if (isMarkerChange) {
return;
}
- IEditorInput input= fJavaEditor.getEditorInput();
+ IEditorInput input = fJavaEditor.getEditorInput();
if (input != null) { // might run async, tests needed
- IJavaElement jelement= (IJavaElement) input.getAdapter(IJavaElement.class);
+ IJavaElement jelement = (IJavaElement) input
+ .getAdapter(IJavaElement.class);
if (jelement != null) {
- IResource resource= jelement.getResource();
+ IResource resource = jelement.getResource();
for (int i = 0; i < changedResources.length; i++) {
if (changedResources[i].equals(resource)) {
updateEditorImage(jelement);
@@ -60,21 +67,21 @@ public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
}
}
}
- }
-
+ }
+
public void updateEditorImage(IJavaElement jelement) {
- Image titleImage= fJavaEditor.getTitleImage();
+ Image titleImage = fJavaEditor.getTitleImage();
if (titleImage == null) {
return;
}
- Image newImage= fLabelProvider.getImage(jelement);
+ Image newImage = fLabelProvider.getImage(jelement);
if (titleImage != newImage) {
postImageChange(newImage);
}
}
-
+
private void postImageChange(final Image newImage) {
- Shell shell= fJavaEditor.getEditorSite().getShell();
+ Shell shell = fJavaEditor.getEditorSite().getShell();
if (shell != null && !shell.isDisposed()) {
shell.getDisplay().syncExec(new Runnable() {
public void run() {
@@ -82,14 +89,12 @@ public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
}
});
}
- }
-
+ }
+
public void dispose() {
fLabelProvider.dispose();
- PHPeclipsePlugin.getDefault().getProblemMarkerManager().removeListener(this);
+ PHPeclipsePlugin.getDefault().getProblemMarkerManager().removeListener(
+ this);
}
-
}
-
-