mirror of
https://github.com/cookiengineer/audacity
synced 2025-10-26 15:23:48 +01:00
... so that it's called directly where needed without the roundabout of SetInt in an event, and there is no checking of the state of a button first