public void partOpened(IWorkbenchPartReference ref) {
public void partOpened(IWorkbenchPart part) { if(part == HistoryView.this) editorActivated(getViewSite().getPage().getActiveEditor());
		public void partOpened(IWorkbenchPartReference ref) {		}