Top-bottom panel refactor, more instant rendering

2023-12-27 18:05:47 +01:00
parent 9403fd2cd9
commit 4d66f23391
16 changed files with 227 additions and 327 deletions
@@ -80,7 +80,7 @@ export function filterBox(
 }

 export function showPanel(
-  id: "lhs" | "rhs" | "bhs" | "modal" | "bottom" | "top",
+  id: "lhs" | "rhs" | "bhs" | "modal",
  mode: number,
  html: string,
  script = "",
@@ -89,7 +89,7 @@ export function showPanel(
 }

 export function hidePanel(
-  id: "lhs" | "rhs" | "bhs" | "modal" | "bottom" | "top",
+  id: "lhs" | "rhs" | "bhs" | "modal",
 ): Promise<void> {
  return syscall("editor.hidePanel", id);
 }