public void dispose() { ISourceViewer sourceViewer= getSourceViewer(); if (sourceViewer instanceof ITextViewerExtension) ((ITextViewerExtension) sourceViewer).removeVerifyKeyListener(fBracketInserter); if (fJavaEditorErrorTickUpdater != null) { fJavaEditorErrorTickUpdater.dispose(); fJavaEditorErrorTickUpdater= null; } if (fCorrectionCommands != null) { fCorrectionCommands.deregisterCommands(); fCorrectionCommands= null; } super.dispose(); }
@Override protected void doSetInput(IEditorInput input) throws CoreException { super.doSetInput(input); configureToggleCommentAction(); if (fJavaEditorErrorTickUpdater != null) fJavaEditorErrorTickUpdater.updateEditorImage(getInputJavaElement()); }
/** * Creates a new compilation unit editor. */ public CompilationUnitEditor() { setDocumentProvider(JavaPlugin.getDefault().getCompilationUnitDocumentProvider()); setEditorContextMenuId("#CompilationUnitEditorContext"); //$NON-NLS-1$ setRulerContextMenuId("#CompilationUnitRulerContext"); //$NON-NLS-1$ setOutlinerContextMenuId("#CompilationUnitOutlinerContext"); //$NON-NLS-1$ // don't set help contextId, we install our own help context fSavePolicy= null; fJavaEditorErrorTickUpdater= new JavaEditorErrorTickUpdater(this); fCorrectionCommands= null; }
public void updateEditorImage(IJavaElement jelement) { Image titleImage= fJavaEditor.getTitleImage(); if (titleImage == null) { return; } Image newImage; if (jelement instanceof ICompilationUnit && !jelement.getJavaProject().isOnClasspath(jelement)) newImage= fLabelProvider.getImage(jelement.getResource()); else newImage= fLabelProvider.getImage(jelement); if (titleImage != newImage) { postImageChange(newImage); } }
/** * Creates a new compilation unit editor. */ public CompilationUnitEditor() { setDocumentProvider(JavaPlugin.getDefault().getCompilationUnitDocumentProvider()); setEditorContextMenuId("#CompilationUnitEditorContext"); //$NON-NLS-1$ setRulerContextMenuId("#CompilationUnitRulerContext"); //$NON-NLS-1$ setOutlinerContextMenuId("#CompilationUnitOutlinerContext"); //$NON-NLS-1$ // don't set help contextId, we install our own help context fSavePolicy= null; fJavaEditorErrorTickUpdater= new JavaEditorErrorTickUpdater(this); fCorrectionCommands= null; }
public void updateEditorImage(IJavaElement jelement) { Image titleImage= fJavaEditor.getTitleImage(); if (titleImage == null) { return; } Image newImage; if (jelement instanceof ICompilationUnit && !jelement.getJavaProject().isOnClasspath(jelement)) newImage= fLabelProvider.getImage(jelement.getResource()); else newImage= fLabelProvider.getImage(jelement); if (titleImage != newImage) { postImageChange(newImage); } }
protected void doSetInput(IEditorInput input) throws CoreException { super.doSetInput(input); configureToggleCommentAction(); if (fJavaEditorErrorTickUpdater != null) fJavaEditorErrorTickUpdater.updateEditorImage(getInputJavaElement()); }
/** * Creates a new compilation unit editor. */ public CompilationUnitEditor() { super(); setDocumentProvider(JavaPlugin.getDefault().getCompilationUnitDocumentProvider()); setEditorContextMenuId("#CompilationUnitEditorContext"); //$NON-NLS-1$ setRulerContextMenuId("#CompilationUnitRulerContext"); //$NON-NLS-1$ setOutlinerContextMenuId("#CompilationUnitOutlinerContext"); //$NON-NLS-1$ // don't set help contextId, we install our own help context fSavePolicy= null; fJavaEditorErrorTickUpdater= new JavaEditorErrorTickUpdater(this); fCorrectionCommands= null; }
public void updateEditorImage(IJavaElement jelement) { Image titleImage= fJavaEditor.getTitleImage(); if (titleImage == null) { return; } Image newImage; if (jelement instanceof ICompilationUnit && !jelement.getJavaProject().isOnClasspath(jelement)) newImage= fLabelProvider.getImage(jelement.getResource()); else newImage= fLabelProvider.getImage(jelement); if (titleImage != newImage) { postImageChange(newImage); } }
@Override public void dispose() { ISourceViewer sourceViewer= getSourceViewer(); if (sourceViewer instanceof ITextViewerExtension) ((ITextViewerExtension) sourceViewer).removeVerifyKeyListener(fBracketInserter); if (fJavaEditorErrorTickUpdater != null) { fJavaEditorErrorTickUpdater.dispose(); fJavaEditorErrorTickUpdater= null; } if (fCorrectionCommands != null) { fCorrectionCommands.deregisterCommands(); fCorrectionCommands= null; } super.dispose(); }
@Override protected void doSetInput(IEditorInput input) throws CoreException { super.doSetInput(input); configureToggleCommentAction(); if (fJavaEditorErrorTickUpdater != null) fJavaEditorErrorTickUpdater.updateEditorImage(getInputJavaElement()); }
@Override public void dispose() { ISourceViewer sourceViewer= getSourceViewer(); if (sourceViewer instanceof ITextViewerExtension) ((ITextViewerExtension) sourceViewer).removeVerifyKeyListener(fBracketInserter); if (fJavaEditorErrorTickUpdater != null) { fJavaEditorErrorTickUpdater.dispose(); fJavaEditorErrorTickUpdater= null; } if (fCorrectionCommands != null) { fCorrectionCommands.deregisterCommands(); fCorrectionCommands= null; } super.dispose(); }
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); } } } } }