Project: Eclipse_Platform_UI
Bug 94355 [EditorMgmt] editor drop down: wrong fonts used
Reported: 2005-05-10 10:55:21 | Status: verified fixed

I20050509-2000 (M7 test pass) The editor drop down mixes the fonts when displaying currently selected / not selected files. Also, the dropdown is slightly too low. Will attach screenshot.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/presentations/BasicPartList.java