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
public void worked(int work) {
								super.worked(work);
								total += work;
								updateProgressDetails();
							}
							public void beginTask(String name, int totalWork) {
								super.beginTask(name, totalWork);
								subTask(IDEWorkbenchMessages.IDEWorkbenchAdvisor_preHistoryCompaction);
							}
							private void updateProgressDetails() {
								if (!isCanceled() && Math.abs(total - 4.0) < 0.0001 ){
									subTask(IDEWorkbenchMessages.IDEWorkbenchAdvisor_cancelHistoryPruning);
									p.setCancelable(true);
								}
								if (Math.abs(total - 5.0) < 0.0001 ) {
									subTask(IDEWorkbenchMessages.IDEWorkbenchAdvisor_postHistoryCompaction);
									p.setCancelable(false);
								}
							}
						};
						status.merge(((Workspace) ResourcesPlugin
								.getWorkspace()).save(true, true, monitor));
					} catch (CoreException e) {
						status.merge(e.getStatus());
					}
				}
			};
			p.run(true, false, runnable);
		} catch (InvocationTargetException e) {
			status