Bug 274262 [History] Allow to never prune history
I20090429-0100. I never want to loose my history and I never want to waste time on shutdown (or start up) to do any history pruning. Please add a preference to disable pruning entirely.
bundles/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java
protected void createButtonsForButtonBar(Composite parent) {
					super.createButtonsForButtonBar(parent);
					registerCancelButtonListener();
				}
				public void registerCancelButtonListener() {
					cancel.addSelectionListener(new SelectionAdapter() {
						public void widgetSelected(SelectionEvent e) {
							subTaskLabel.setText(""); 
						}
					});
				}
			};
			IRunnableWithProgress runnable = new IRunnableWithProgress() {
				public void run(IProgressMonitor monitor) {
					try {
						monitor = new ProgressMonitorWrapper(monitor) {
							private double total = 0;
							/*
							 * (non-Javadoc)
							 * @see org.eclipse.core.runtime.ProgressMonitorWrapper#internalWorked(double)
							 */
							public void internalWorked(double work) {
								super.internalWorked(work);
								total += work;
								updateProgressDetails();
							}
							/*
							 * (non-Javadoc)
							 * @see org.eclipse.core.runtime.ProgressMonitorWrapper#worked(int)
							 */