stream_edit_toggler: Convert module to TypeScript.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2023-10-10 17:05:12 -07:00 committed by Tim Abbott
parent 97f4847c71
commit cac5778e70
2 changed files with 3 additions and 3 deletions

View File

@ -223,7 +223,7 @@ EXEMPT_FILES = make_set(
"web/src/stream_create_subscribers.js", "web/src/stream_create_subscribers.js",
"web/src/stream_edit.js", "web/src/stream_edit.js",
"web/src/stream_edit_subscribers.js", "web/src/stream_edit_subscribers.js",
"web/src/stream_edit_toggler.js", "web/src/stream_edit_toggler.ts",
"web/src/stream_list.js", "web/src/stream_list.js",
"web/src/stream_muting.js", "web/src/stream_muting.js",
"web/src/stream_popover.js", "web/src/stream_popover.js",

View File

@ -3,10 +3,10 @@ import $ from "jquery";
import * as components from "./components"; import * as components from "./components";
import {$t} from "./i18n"; import {$t} from "./i18n";
export let toggler; export let toggler: components.Toggle;
export let select_tab = "personal_settings"; export let select_tab = "personal_settings";
export function setup_toggler() { export function setup_toggler(): void {
toggler = components.toggle({ toggler = components.toggle({
child_wants_focus: true, child_wants_focus: true,
values: [ values: [