UNPKG

diagram-js

Version:

A toolbox for displaying and modifying diagrams on the web

20 lines 490 B
import type { Element } from '../../model/Types.js'; type LegacyToken = { matched?: string; normal?: string; }; type ModernToken = { match: boolean; value: string; }; export type Token = LegacyToken | ModernToken; export type SearchResult = { primaryTokens: Token[]; secondaryTokens: Token[]; element: Element; }; export default interface SearchPadProvider { find(pattern: string): SearchResult[]; } export {}; //# sourceMappingURL=SearchPadProvider.d.ts.map