Project: JDT
Bug 40785 [plan item] Overview ruler improvements
Reported: 2003-07-25 12:11:41 | Status: resolved fixed

- navigation from ruler to editor - hovering over header area shows number of errors/warning (header annotations in general)

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitDocumentProvider.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/filebuffers/CompilationUnitDocumentProvider2.java