diff options
author | wurstsalat <mailtrash@posteo.de> | 2023-06-07 23:18:53 +0300 |
---|---|---|
committer | wurstsalat <mailtrash@posteo.de> | 2023-06-07 23:19:55 +0300 |
commit | 39d250ac590beb6aaebc5274038ede1a9dc6a5d1 (patch) | |
tree | 2fb30c5a922b7a0d040b52323ef3590b26a40056 | |
parent | 18d1505d9127342ef306684d87f9fcf60352abe0 (diff) |
cfix: Revert: Plugin helpers: Remove unnecessary ignore comment"
This reverts commit c2044cea4d9fce61d90ed832e021bfc4339e16d7.
-rw-r--r-- | gajim/plugins/helpers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gajim/plugins/helpers.py b/gajim/plugins/helpers.py index 44ac5cefe..8de689a62 100644 --- a/gajim/plugins/helpers.py +++ b/gajim/plugins/helpers.py @@ -31,7 +31,7 @@ class GajimPluginActivateException(Exception): def get_builder(file_name: str, widgets: list[str] | None = None) -> Builder: return Builder(file_name, - widgets, + widgets, # pyright: ignore domain=DOMAIN, gettext_=_) |