From 6b5e64510395c4476a3c27a9db015135e50cf878 Mon Sep 17 00:00:00 2001
From: metamuffin <metamuffin@disroot.org>
Date: Fri, 16 Sep 2022 21:32:09 +0200
Subject: optional streams (5, minor fixes; done)

---
 client-web/source/preferences/ui.ts | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'client-web/source/preferences/ui.ts')

diff --git a/client-web/source/preferences/ui.ts b/client-web/source/preferences/ui.ts
index 634d945..f07996f 100644
--- a/client-web/source/preferences/ui.ts
+++ b/client-web/source/preferences/ui.ts
@@ -1,3 +1,5 @@
+/// <reference lib="dom" />
+
 import { ebr, ebutton, ediv, elabel, espan, etd, etr, OverlayUi } from "../helper.ts";
 import { PREF_DECLS } from "./decl.ts";
 import { change_pref, on_pref_changed, PrefDecl, PREFS } from "./mod.ts";
-- 
cgit v1.2.3-70-g09d2