Project: Eclipse_Platform_UI
Bug 206475 [Markers] Switch the markers view to a non virtual view
Reported: 2007-10-16 11:01:26 | Status: verified fixed

I will attach a patch for switching the markers view to a non-virtual one. I don't want to do this yet as I am not convinced that any of the problems I am seeing are anything to do with VIRTUAL.

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