Project: JDT
Bug 62718 [preferences] Java Editor Text Hover prefs: Table should not allow multi-row selection
Reported: 2004-05-18 13:46:49 | Status: verified fixed

200405180816: Java Editor Text Hover prefs: Table should not allow multi-row selection

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorHoverConfigurationBlock.java