Project: Eclipse_Platform_UI
Bug 213139 [Markers] Forms in problems filtering configuration dialog doesn't grab vertical space
Reported: 2007-12-17 00:30:54 | Status: resolved fixed

type list in marker filtering configuration dialog doesn't grab vertical space

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