themes

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// The stock themes plugin: it sends the kernel the light and dark presets
// the user chose (`kernel/theme.set`) when it starts and again whenever its
// settings change, from Settings, from `cvg settings set`, or an edit of the
// settings file. Its own view in Settings edits the presets
// (`settings.ts`).
import * as Effect from "effect/Effect";
import * as Stream from "effect/Stream";
import { Kernel, Plugin, Settings, runPlugin } from "convergence/effect";
import { chosen, readSettings } from "./settings-model.ts";

const program = Effect.gen(function* () {
  const plugin = yield* Plugin;
  const kernel = yield* Kernel;
  const settings = yield* Settings;
  const apply = Effect.gen(function* () {
    const values = readSettings(plugin.api.settings.get());
    yield* kernel.call("theme.set", { light: chosen(values, "light").tokens, dark: chosen(values, "dark").tokens });
  }).pipe(
    // A kernel without the call (an older app) keeps its built-in look.
    Effect.catch((error) => Effect.sync(() => console.warn(`themes: the theme was not applied (${error.message})`))),
  );
  yield* apply;
  yield* Effect.forkScoped(settings.changes.pipe(Stream.runForEach(() => apply)), { startImmediately: true });
});

export const activate = runPlugin(program);