protected void doSetInput(IEditorInput input) throws CoreException { super.doSetInput(input); configureToggleCommentAction(); if (fJavaEditorErrorTickUpdater != null) fJavaEditorErrorTickUpdater.updateEditorImage(getInputJavaElement()); }
@Override protected void doSetInput(IEditorInput input) throws CoreException { super.doSetInput(input); configureToggleCommentAction(); if (fJavaEditorErrorTickUpdater != null) fJavaEditorErrorTickUpdater.updateEditorImage(getInputJavaElement()); }
@Override protected void doSetInput(IEditorInput input) throws CoreException { super.doSetInput(input); configureToggleCommentAction(); if (fJavaEditorErrorTickUpdater != null) fJavaEditorErrorTickUpdater.updateEditorImage(getInputJavaElement()); }
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); } } } } }
@Override public void problemsChanged(IResource[] changedResources, boolean isMarkerChange) { if (!isMarkerChange) return; IEditorInput input= fJavaEditor.getEditorInput(); if (input != null) { // might run async, tests needed IJavaElement jelement= 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); } } } } }
@Override public void problemsChanged(IResource[] changedResources, boolean isMarkerChange) { if (!isMarkerChange) return; IEditorInput input= fJavaEditor.getEditorInput(); if (input != null) { // might run async, tests needed IJavaElement jelement= 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); } } } } }