Project: Eclipse_Platform_UI
Bug 81185 [Preferences] Preference page: down key should jump to tree
Reported: 2004-12-15 10:56:40 | Status: verified fixed

3.1 M4 Candidate All 'type to filter' dialogs in Eclipse allow you to jump to the control being filtered by simply pressing the 'down key'. Look at the Open Type/Open Resource dialogs. This should be the same in the preferences dialog. I always expect to be able to do this...

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