Project: Eclipse_Platform_UI
Bug 48900 [KeyBindings] Keys preference page has deep grooves
Reported: 2003-12-16 14:28:03 | Status: verified fixed

A visual artifact, probably tied to some flag somewhere. Also, Nick doesn't want tool tips on tabbed items.

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