### Eclipse Workspace Patch 1.0 #P org.eclipse.jdt.ui Index: ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java =================================================================== RCS file: /cvsroot/eclipse/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java,v retrieving revision 1.476 diff -u -r1.476 JavaEditor.java --- ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java 24 Apr 2009 05:54:32 -0000 1.476 +++ ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java 14 Sep 2009 13:37:24 -0000 @@ -133,6 +133,7 @@ import org.eclipse.ui.PlatformUI; import org.eclipse.ui.actions.ActionContext; import org.eclipse.ui.actions.ActionGroup; +import org.eclipse.ui.internal.editors.text.EditorsPlugin; import org.eclipse.ui.operations.NonLocalUndoUserApprover; import org.eclipse.ui.part.IShowInSource; import org.eclipse.ui.part.IShowInTargetList; @@ -1841,6 +1842,14 @@ javaSourceViewer.prepareDelayedProjection(); fProjectionSupport= new ProjectionSupport(javaSourceViewer, getAnnotationAccess(), getSharedColors()); + Iterator e= EditorsPlugin.getDefault().getMarkerAnnotationPreferences().getAnnotationPreferences().iterator(); + while (e.hasNext()) { + AnnotationPreference annotationPreference= (AnnotationPreference)e.next(); + Object annotationType= annotationPreference.getAnnotationType(); + if (annotationType instanceof String) + fProjectionSupport.addSummarizableAnnotationType((String)annotationType); + } + fProjectionSupport.addSummarizableAnnotationType("org.eclipse.ui.workbench.texteditor.error"); //$NON-NLS-1$ fProjectionSupport.addSummarizableAnnotationType("org.eclipse.ui.workbench.texteditor.warning"); //$NON-NLS-1$ fProjectionSupport.setHoverControlCreator(new IInformationControlCreator() {