From 64c8262eafb2a35506965a9951d71d726c399238 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Thu, 2 May 2024 17:16:02 -0700 Subject: [PATCH] settings_components: Convert .data("setting-widget-type") to .attr. Signed-off-by: Anders Kaseorg --- web/src/settings_components.ts | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/web/src/settings_components.ts b/web/src/settings_components.ts index b69bdc636b..8ba73ce3d4 100644 --- a/web/src/settings_components.ts +++ b/web/src/settings_components.ts @@ -658,7 +658,9 @@ function get_input_type($input_elem: JQuery, input_type?: string): string { if (input_type !== undefined && ["boolean", "string", "number"].includes(input_type)) { return input_type; } - return $input_elem.data("setting-widget-type"); + input_type = $input_elem.attr("data-setting-widget-type"); + assert(input_type !== undefined); + return input_type; } export function get_input_element_value(