diagram-js
Version:
A toolbox for displaying and modifying diagrams on the web
20 lines (19 loc) • 440 B
TypeScript
import type { Element } from '../../model/Types';
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 {};