Project: Eclipse_Platform_UI
Bug 230903 [Markers] Problems view > Configure Contents... gray-checks fully selected type categories
Reported: 2008-05-07 10:39:15 | Status: resolved fixed

I20080502-0100 Problems view > Configure Contents... gray-checks fully selected type categories. Steps: - create new configuration - check API Problems - uncheck API Problems > API Usage Problems - check API Problems > API Usage Problems => expected: API Problems checked again => was: API Problems gray-checked

Files changed in fix:
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/TypesConfigurationArea.java