quintenk
/
miller
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix up types

This commit is contained in:
Quinten Kock 2025-11-10 23:17:24 +01:00
parent cfb7d5cea0
commit 4d6a2700d2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/app/editorgrid.ts
View File

@ -45,7 +45,7 @@ export function addTab(file?: OpenFile) {
editors.push(file ? [file] : []); editors.push(file ? [file] : []);
} }
const TabHeader = (tab: any, del: any, k: any) => const TabHeader = (tab: State<Editor[]>, del: () => void, k: number) =>
v.div( v.div(
{ {
class: () => class: () =>
@ -55,7 +55,7 @@ const TabHeader = (tab: any, del: any, k: any) =>
v.span({ class: "mx-1 flex-1" }, "Tab " + k), v.span({ class: "mx-1 flex-1" }, "Tab " + k),
u.InlineButton(del, "Close", "❌"), u.InlineButton(del, "Close", "❌"),
); );
const EditorGrid = (tab: any, del: any, k: any) => { const EditorGrid = (tab: State<Editor[]>, del: () => void, k: number) => {
console.log("Rendering", tab.val, "with key", k); console.log("Rendering", tab.val, "with key", k);
const main = v.main({ const main = v.main({
class: "flex flex-auto gap-4 overflow-x-auto min-width-4", class: "flex flex-auto gap-4 overflow-x-auto min-width-4",