diff options
author | lovetox <philipp@hoerist.com> | 2022-08-20 15:07:50 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2022-08-20 15:07:50 +0300 |
commit | e42454940ef98a84acce09760e7c2f86587ecd19 (patch) | |
tree | ef8ee87a6bc2254851d1cf3973e254ed36e6c235 | |
parent | b20ef67ee01c705bb1db37f1547bb5949ca5f891 (diff) |
cq: Settings: Add overload for workspace_order setting
-rw-r--r-- | gajim/common/setting_values.py | 2 | ||||
-rw-r--r-- | gajim/common/settings.py | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gajim/common/setting_values.py b/gajim/common/setting_values.py index f18d10f28..7f2ac911f 100644 --- a/gajim/common/setting_values.py +++ b/gajim/common/setting_values.py @@ -164,7 +164,7 @@ StringSettings = Literal[ ] AllSettings = Literal[BoolSettings, IntSettings, StringSettings] -AllSettingsT = Union[str, int, bool] +AllSettingsT = Union[str, int, bool, list[str]] APP_SETTINGS = { 'always_english_wikipedia': False, diff --git a/gajim/common/settings.py b/gajim/common/settings.py index 43bba70bb..c93bd2dbd 100644 --- a/gajim/common/settings.py +++ b/gajim/common/settings.py @@ -585,6 +585,12 @@ class Settings: value: Optional[int]) -> None: ... + @overload + def set_app_setting(self, + setting: Literal['workspace_order'], + value: list[str]) -> None: + ... + def set_app_setting(self, setting: str, value: Optional[AllSettingsT]) -> None: |