user_profile: Convert module to TypeScript.

This commit is contained in:
afeefuddin
2024-07-07 18:52:22 +05:30
committed by Tim Abbott
parent 243cd7e5fb
commit 19b85eb600
3 changed files with 257 additions and 107 deletions

View File

@@ -35,7 +35,7 @@ export type Option = {
stream?: StreamSubscription;
};
type DropdownWidgetOptions = {
export type DropdownWidgetOptions = {
widget_name: string;
// You can bold the selected `option` by setting `option.bold_current_selection` to `true`.
// Currently, not implemented for stream names.