mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-02 02:47:48 +02:00
Bugfix - properly removing plugins when they are unregistered (unlikely)
This commit is contained in:
@@ -177,7 +177,7 @@ public:
|
||||
virtual void plugin_removed (lay::PluginDeclaration *cls)
|
||||
{
|
||||
if (mp_delegate) {
|
||||
mp_delegate->plugin_registered (cls);
|
||||
mp_delegate->plugin_removed (cls);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user