mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-30 17:53:00 +02:00
This is how to reproduce the bug: have a layout with two layers. Select two shapes of different layers and delete them. One layer is not updated and only after zooming/panning the shape will disappear on this layer.