Bug 25768 Package Explorer flashes too much on refresh and delete
build I20021105 - extracted a zip containing 22 non-Java files (.mxsd files from Dejan) into org.eclipse.ui - in Package Explorer, refreshed org.eclipse.ui - it flashed alot while refreshing - selected the 22 files and deleted them - it flashed even more
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java
ctrl.setRedraw(false); 
					fViewer.add(parent, element);
					ctrl.setRedraw(true);
				}
			}
		});
	}
	private void postRemove(final Object element) {
		postRunnable(new Runnable() {
			public void run() {
				
				Control ctrl= fViewer.getControl();
				if (ctrl != null && !ctrl.isDisposed()) {
					ctrl.setRedraw(false);
					fViewer.remove(element);
					ctrl.setRedraw(true);
				}
			}
		});
	}
	private void postRunnable(final Runnable r) {
		Control ctrl= fViewer.getControl();
		if (ctrl != null && !ctrl.isDisposed()) {
			ctrl.getDisplay().asyncExec(r); 
		}
	}
	void setIsFlatLayout(boolean state) {
		fIsFlatLayout= state;
	}
}