mirror of
https://github.com/cookiengineer/audacity
synced 2025-05-02 16:49:41 +02:00
... Also changed the behavior of drawing of dashed lines: make them disappear when they approach close enough that right-up will zoom out, not in.