From b0dc7580998deba583fb7da38d583838c2993736 Mon Sep 17 00:00:00 2001 From: awsr <43862868+awsr@users.noreply.github.com> Date: Fri, 19 Dec 2025 23:52:47 -0800 Subject: [PATCH] Change Mapping type to dict --- modules/options.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/modules/options.py b/modules/options.py index cd48d0487..cd3ca0f23 100644 --- a/modules/options.py +++ b/modules/options.py @@ -5,7 +5,7 @@ from installer import log if TYPE_CHECKING: - from collections.abc import Callable, Mapping + from collections.abc import Callable from gradio.components import Component from modules.ui_components import DropdownEditable @@ -23,7 +23,7 @@ class OptionInfo: default: Any | None = None, label="", component: type[Component] | type[DropdownEditable] | None = None, - component_args: Mapping | Callable[..., Mapping] | None = None, + component_args: dict | Callable[..., dict] | None = None, onchange: Callable | None = None, section: tuple[str, ...] | None = None, refresh: Callable | None = None,