Project: JDT
Bug 41788 QuickDiff provider name has & in preference list
Reported: 2003-08-21 08:06:38 | Status: resolved fixed

I20030820 Disk and Remove (from optional zrh tools plug-in) have a & in the label of the preference page.

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