mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-01 10:27:53 +02:00
- new attribute "title" for MainWindow to get and set title (includes extrapolation to add dynamic content) - also added LayoutView#is_dirty for emulation of the standard behavior - plus side effect: LayoutView#synchronous is now readable