diff options
Diffstat (limited to 'client-web/source/preferences')
| -rw-r--r-- | client-web/source/preferences/ui.ts | 2 |
1 files changed, 2 insertions, 0 deletions
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"; |