Bug 46753 [misc] Typing should not be blocked by background activity
Build 20031111 1. Open an editor 2. Start a CVS background activity (e.g. Synchronize several projects) 3. Start typing in the editor Observe: The whole UI freezes and what you typed is not shown in the editor until the end of the backgroung activity
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/filebuffers/CompilationUnitDocumentProvider2.java
model.updateMarkers(document);
		}
		
		if (fSavePolicy != null) {
			ICompilationUnit unit= fSavePolicy.postSave(original);
			if (unit != null && info.fModel instanceof AbstractMarkerAnnotationModel) {
				IResource r= unit.getResource();
				IMarker[] markers= r.findMarkers(IMarker.MARKER, true, IResource.DEPTH_ZERO);
				if (markers != null && markers.length > 0) {
					AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel;						
					for (int i= 0; i < markers.length; i++)
						model.updateMarker(markers[i], document, null);
				}
			}
		}
	}
	
	/*
	 * @see org.eclipse.ui.editors.text.TextFileDocumentProvider#createSaveOperation(java.lang.Object, org.eclipse.jface.text.IDocument, boolean)
	 */
	protected DocumentProviderOperation createSaveOperation(final Object element, final IDocument document, final boolean overwrite) throws CoreException {
		final FileInfo info= getFileInfo(element);
		if (info instanceof CompilationUnitInfo) {
			return new DocumentProviderOperation() {
				protected void execute(IProgressMonitor monitor) throws CoreException {
					commitWorkingCopy(monitor, element, (CompilationUnitInfo) info, overwrite);
				}
				/*
				 * @see org.eclipse.ui.editors.text.TextFileDocumentProvider.DocumentProviderOperation#getSchedulingRule()
				 */