2022-04-20 08:56:43 +00:00
|
|
|
import type { ParseTree } from "../common/tree";
|
|
|
|
|
2022-04-19 14:54:47 +00:00
|
|
|
export type AppEvent = "page:click" | "page:complete";
|
2022-03-20 08:56:28 +00:00
|
|
|
|
|
|
|
export type ClickEvent = {
|
2022-03-28 13:25:05 +00:00
|
|
|
page: string;
|
2022-03-20 08:56:28 +00:00
|
|
|
pos: number;
|
|
|
|
metaKey: boolean;
|
|
|
|
ctrlKey: boolean;
|
|
|
|
altKey: boolean;
|
|
|
|
};
|
|
|
|
|
|
|
|
export type IndexEvent = {
|
|
|
|
name: string;
|
|
|
|
text: string;
|
|
|
|
};
|
2022-04-20 08:56:43 +00:00
|
|
|
|
|
|
|
export type IndexTreeEvent = {
|
|
|
|
name: string;
|
|
|
|
tree: ParseTree;
|
|
|
|
};
|