Community
Participate
Working Groups
3.5. 1. paste this: public class Bug { void foo() { java.util.List l; } } 2. hover over the the warning 3. move the mouse into the hover so that it enriches 4. click on 'Configure Problem Severity' 5. click 'Configure Workspace' ==> option is not selected / does not have focus
This got broken by wrong fix for bug 241877.
I'll fix this.
Created attachment 184245 [details] Fix
Fixed in HEAD. Available in builds >= N20101201-2000.
Created attachment 184247 [details] Fix
Verified in I20101206-1800.
This change was not put into R4_development. Cherry-picked it now.