tabs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33// The convergence/tabs service: other plugins open and close tabs in the
// detail pane and follow which tab is visible. Zod is the contract; the host
// derives JSON Schema from it and checks every call, result and event.
import * as z from "zod";
import { defineService } from "convergence/services";

export const TabKind = z.enum(["file", "diff", "terminal", "view"]);

// Which tab: tabs are known by kind and path (a terminal's path is its id).
export const TabRef = z.object({ kind: TabKind, path: z.string() });

export const OpenTab = z.object({
  kind: TabKind,
  workspaceId: z.string(),
  path: z.string(),
  // A diff tab shows this unified diff; a view tab draws this view id.
  diff: z.string().optional(),
  view: z.number().optional(),
  title: z.string().optional(),
  icon: z.string().optional(),
});

export const Tabs = defineService("convergence/tabs", "1.0.0", {
  methods: {
    open: { params: OpenTab, result: z.object({ id: z.string() }) },
    close: { params: TabRef, result: z.null() },
    active: { params: z.object({}), result: TabRef.nullable() },
  },
  events: {
    activeChanged: TabRef.nullable(),
  },
});
export type Tabs = typeof Tabs;