mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-29 01:14:35 +02:00
Problem was twofold: first, events are triggered during construction of the plugin which met an uninitialized pointer. Second, the clearing of existing plugins failed because of iterating a vector while destroying it's members erased member of it.