Community
Participate
Working Groups
I20100107-1410. None of the API Errors/Warnings preference pages has mnemonics
We should provide mnemonics for the groups and other choices that we can like the JDT errors / warnings page does
Created attachment 155616 [details] fix Provides mnemonics for all of the groups and as many of the options as possible per page.
applied patch to HEAD, please verify Olivier
Verified that some mnemonics have been added. Daniel, should all options have mnemomics?