Project: Eclipse_Platform_UI
Bug 212733 [Markers] Problem view no longer updates when changing the visible marker limit
Reported: 2007-12-12 06:36:10 | Status: verified fixed

Version: 3.4.0 Build id: I20071211-0010 By default, the view shows 100 markers. When changing this limit (through marker prefs), the view doesn't update. One need to close/reopen for this to get taken into account. This is a regression.

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