diff options
author | wurstsalat <mailtrash@posteo.de> | 2023-02-10 22:50:20 +0300 |
---|---|---|
committer | wurstsalat <mailtrash@posteo.de> | 2023-02-10 22:50:25 +0300 |
commit | e2569508f9dc4f2f4ccae791bf04a32aead35cdb (patch) | |
tree | 69710cad7be7e0b04c40362038d32c54df6c7f72 | |
parent | 23ba79a36bb50e76fde0f11484be2059dcfea835 (diff) |
fix: Plugins: Don't fail hard on uninstall errors
Fixes #11389
-rw-r--r-- | gajim/gtk/plugins.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gajim/gtk/plugins.py b/gajim/gtk/plugins.py index ac5a7dc72..762bb7696 100644 --- a/gajim/gtk/plugins.py +++ b/gajim/gtk/plugins.py @@ -353,7 +353,10 @@ class PluginsWindow(Gtk.ApplicationWindow, EventHelper): manifest = model.get_value(iter_, Column.MANIFEST) plugin = app.plugin_manager.get_plugin(manifest.short_name) - assert plugin is not None + if plugin is None: + WarningDialog(_('Unable to properly remove the plugin')) + return + try: app.plugin_manager.uninstall_plugin(plugin) except PluginsystemError as error: |