mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-03 08:26:27 +02:00
Plus: better implementation of fix for issue #1145 (Crash when clearing a Shapes container by script while a shape is selected) The previous solution was based on deferred execution and between execution of that cleanup and the use of the selection, invalid states could be present.