Bugfix/issue 2234#2242

Merged

klayoutmatthias merged 2 commits intomasterfrom

bugfix/issue-2234

Dec 7, 2025

Commits on Dec 2, 2025

First bug fixes
Matthias Koefferlein
committed

Commits on Dec 3, 2025

Messages can have priorities now. The net tracer uses higher-priority messages to make the 'click on second/first point' message more persistent. The have infinite lifetime now.
Matthias Koefferlein
committed