Implemented solution for issue #2145 (default_text_size option for GD…#2148
Merged
klayoutmatthias merged 1 commit intomasterfrom Sep 9, 2025
Merged
Implemented solution for issue #2145 (default_text_size option for GD…#2148klayoutmatthias merged 1 commit intomasterfrom
klayoutmatthias merged 1 commit intomasterfrom
Commits
Commits on Sep 8, 2025
- committed
Matthias Koefferlein