wsb-daemon 0.291.8591

wsb's daemon: the workbench, the GitHub mirror's schedule and peer continuity, for every workspace on the host
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

<script lang="ts">
  // This workshop: the sessions run on it, by where they ran, and the workshops
  // it carries its worktrees with.
  import { Panel, Segmented } from "@wsb/uikit/components";
  import PlacedSessions from "../levels/PlacedSessions.svelte";
  import PeersPanel from "../peers/PeersPanel.svelte";
  import { workbench } from "../../stores/workbench.svelte.js";

  const SECTIONS = [
    { value: "sessions", label: "Sessions" },
    { value: "peers", label: "Peers" },
  ];
</script>

<Panel title="This workshop" handle="workshop.this">
  <Segmented
    handle="workshop.this.section"
    ariaLabel="What of this workshop to show"
    items={SECTIONS}
    selected={workbench.thisWorkshopSection}
    onselect={(value) => { workbench.thisWorkshopSection = value === "peers" ? "peers" : "sessions"; }}
  />
  {#if workbench.thisWorkshopSection === "peers"}
    <PeersPanel />
  {:else}
    <PlacedSessions />
  {/if}
</Panel>