wsb-daemon 0.275.7622

wsb's daemon: the workbench, the GitHub mirror's schedule and peer continuity, for every workspace on the machine
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 machine: the sessions run on it, by where they ran, and the machines
  // it carries its worktrees with.
  import { Panel, Segmented } from "@wsb/uikit/components";
  import PlacedSessions from "../levels/PlacedSessions.svelte";
  import PeersPanel from "../machine/PeersPanel.svelte";
  import { workbench } from "../../stores/workbench.svelte.js";

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

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