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
builder.getGenerator());
		if (dialog.open() == Window.OK) {
			builder.updateFrom(dialog);
		}
	}
	/**
	 * Open the selected markers
	 */
	void openSelectedMarkers() {
		IMarker[] markers = getSelectedMarkers();
		for (int i = 0; i < markers.length; i++) {
			IMarker marker = markers[i];
			IWorkbenchPage page = getSite().getPage();
			openMarkerInEditor(marker, page);
		}
	}
	/**
	 * Register the context menu for the receiver so that commands may be added
	 * to it.
	 */
	private void registerContextMenu() {
		MenuManager contextMenu = new MenuManager();
		getSite().registerContextMenu(contextMenu, viewer);
		
		getSite().registerContextMenu(MarkerSupportRegistry.ALL_MARKERS_ID,
				contextMenu, viewer);
		Control control = viewer.getControl();
		Menu menu = contextMenu.createContextMenu(control);
		control.setMenu(menu);
	}