import React from 'react';
import { EditorModel } from '../../model/editormodel';
import { PageHistory } from '../../model/history';
declare const RegistrySummary: React.FC<{
    model: EditorModel;
    onChange: (selected: string, pageid: string, history: PageHistory) => void;
    resetSearchElements: (set: Set<string>) => void;
}>;
export default RegistrySummary;
//# sourceMappingURL=RegistrySummary.d.ts.map