Bug 128051 [junit] History... menu entry is checked on empty history
I20060215-0010 Use the drop-down menu to open the testrun history dialog -> History... entry is checked, which makes no sense, since this is a command and not a toggle option
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/HistoryDropDownAction.java
}
			return checkOthers;
		}
		private void addActionToMenu(Menu parent, Action action) {
			ActionContributionItem item= new ActionContributionItem(action);
			item.fill(parent, -1);
		}
		public void dispose() {
			fHistory= null;
		
			if (fMenu != null) {
				fMenu.dispose();
				fMenu= null;
			}
		}
	}
	public static final int RESULTS_IN_DROP_DOWN= 10;
	private ViewHistory fHistory;
	private Menu fMenu;
	public HistoryDropDownAction(ViewHistory history) {
		fHistory= history;
		fMenu= null;
		setMenuCreator(new HistoryMenuCreator());
		fHistory.configureHistoryDropDownAction(this);
	}
	public void run() {
		new HistoryListAction(fHistory).run();
	}
}