Commit e17ad155 authored by Philipp Hörist's avatar Philipp Hörist
Browse files

PluginManager: Call disconnect handler when removing extension point

Previously we called the disconnect handler only when a plugin was deactivated.
parent e638b523
...@@ -328,6 +328,13 @@ class PluginManager(metaclass=Singleton): ...@@ -328,6 +328,13 @@ class PluginManager(metaclass=Singleton):
self.gui_extension_points[gui_extpoint_name].remove( self.gui_extension_points[gui_extpoint_name].remove(
ext_point) ext_point)
if gui_extpoint_name not in self.gui_extension_points_handlers:
for handlers in self.gui_extension_points_handlers[gui_extpoint_name]:
disconnect_handler = handlers[1]
if disconnect_handler is not None:
@log_calls('PluginManager') @log_calls('PluginManager')
def _add_gui_extension_point_call_to_list(self, gui_extpoint_name, *args): def _add_gui_extension_point_call_to_list(self, gui_extpoint_name, *args):
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment