diff options
author | wurstsalat <mailtrash@posteo.de> | 2023-06-07 22:09:27 +0300 |
---|---|---|
committer | wurstsalat <mailtrash@posteo.de> | 2023-06-07 22:09:27 +0300 |
commit | c2044cea4d9fce61d90ed832e021bfc4339e16d7 (patch) | |
tree | c579d38a7f626bb69168d4f22121dd5f228073de | |
parent | d9f3255f153975ac4172cbc620c6c7b39f9b9f35 (diff) |
cq: Plugin helpers: Remove unnecessary ignore comment
-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 8de689a62..44ac5cefe 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, # pyright: ignore + widgets, domain=DOMAIN, gettext_=_) |