Bug 206475 [Markers] Switch the markers view to a non virtual view
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.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/ExtendedMarkersView.java
TreeViewerColumn column;
			if (i < currentColumns.length)
				column = new TreeViewerColumn(viewer, currentColumns[i]);
			else {
				column = new TreeViewerColumn(viewer, SWT.NONE);
				column.getColumn().setResizable(true);
				column.getColumn().setMoveable(true);
				column.getColumn().addSelectionListener(getHeaderListener());
			}
			column.getColumn().setData(MARKER_FIELD, markerField);
			
			column.setLabelProvider(new MarkerColumnLabelProvider(markerField,
					i == 0));
			column.getColumn().setText(markerField.getColumnHeaderText());
			column.getColumn().setImage(markerField.getColumnHeaderImage());
			if (builder.generator.isPrimarySortField(markerField))
				updateDirectionIndicator(column.getColumn(), markerField);
		}
		
		if (currentColumns.length > fields.length) {
			for (int i = fields.length; i < currentColumns.length; i++) {
				currentColumns[i].dispose();
			}
		}
		viewer.getTree().setLayout(layout);
		tree.setLinesVisible(true);
		tree.setHeaderVisible(true);
		tree.layout(true);
	}
	/**