paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-03 05:23:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

user_settings: Add event_value type annotation.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2025-06-17 15:43:45 -07:00
committed by Tim Abbott
parent 47aa34097b
commit 9ebf461998
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/actions/user_settings.py
View File

@@ -443,7 +443,7 @@ def do_change_user_setting(
if isinstance(setting_value, Enum):
db_setting_value = setting_value.value
event_value = setting_value.name
event_value: bool | str | int = setting_value.name
else:
db_setting_value = setting_value
event_value = db_setting_value