mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-30 01:39:30 +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