super(shell, multi); setSelectionHistory(new TypeSelectionHistory());
public void load(IMemento memento) { TypeNameMatch[] types= OpenTypeHistory.getInstance().getTypeInfos(); for (int i= types.length - 1; i >= 0 ; i--) { // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=205314 TypeNameMatch type= types[i]; accessed(type); } }
/** * Stores contents of the local history into persistent history * container. */ private synchronized void persistHistory() { if (getReturnCode() == OK) { Object[] items= getHistoryItems(); for (int i= 0; i < items.length; i++) { OpenTypeHistory.getInstance().accessed((TypeNameMatch) items[i]); } } }
super(shell, multi); setSelectionHistory(new TypeSelectionHistory());
super(shell, multi); setSelectionHistory(new TypeSelectionHistory());
public void save(IMemento memento) { persistHistory(); }
@Override public void save(IMemento memento) { persistHistory(); }
@Override public void save(IMemento memento) { persistHistory(); }
@Override public void load(IMemento memento) { TypeNameMatch[] types= OpenTypeHistory.getInstance().getTypeInfos(); for (int i= types.length - 1; i >= 0 ; i--) { // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=205314 TypeNameMatch type= types[i]; accessed(type); } }
@Override public void load(IMemento memento) { TypeNameMatch[] types= OpenTypeHistory.getInstance().getTypeInfos(); for (int i= types.length - 1; i >= 0 ; i--) { // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=205314 TypeNameMatch type= types[i]; accessed(type); } }
/** * Stores contents of the local history into persistent history * container. */ private synchronized void persistHistory() { if (getReturnCode() == OK) { Object[] items= getHistoryItems(); for (int i= 0; i < items.length; i++) { OpenTypeHistory.getInstance().accessed((TypeNameMatch) items[i]); } } }
/** * Stores contents of the local history into persistent history * container. */ private synchronized void persistHistory() { if (getReturnCode() == OK) { Object[] items= getHistoryItems(); for (int i= 0; i < items.length; i++) { OpenTypeHistory.getInstance().accessed((TypeNameMatch) items[i]); } } }