Complete redo of content indexing and querying (#517)

Complete redo of data store
Introduces live queries and live templates
This commit is contained in:
Zef Hemel
2023-10-03 14:16:33 +02:00
committed by GitHub
parent 7af98e7c7b
commit 0313565610
200 changed files with 4675 additions and 4363 deletions
+4 -2
View File
@@ -72,7 +72,7 @@ export function filterBox(
}
export function showPanel(
id: "lhs" | "rhs" | "bhs" | "modal",
id: "lhs" | "rhs" | "bhs" | "modal" | "ps",
mode: number,
html: string,
script = "",
@@ -80,7 +80,9 @@ export function showPanel(
return syscall("editor.showPanel", id, mode, html, script);
}
export function hidePanel(id: "lhs" | "rhs" | "bhs" | "modal"): Promise<void> {
export function hidePanel(
id: "lhs" | "rhs" | "bhs" | "modal" | "ps",
): Promise<void> {
return syscall("editor.hidePanel", id);
}