1
0
mirror of https://github.com/cookiengineer/audacity synced 2025-05-06 06:38:49 +02:00

Try to flash the pin even less at extreme positions

This commit is contained in:
Paul Licameli 2018-08-07 10:27:37 -04:00
parent 9eab948fb1
commit 3f0b3bf1b8

View File

@ -155,7 +155,7 @@ void PlayIndicatorOverlay::OnTimer(wxCommandEvent &event)
// Use a small tolerance to avoid flicker of play head pinned all the way
// left or right
const auto tolerance = kTimerInterval / 1000.0;
const auto tolerance = 1.5 * kTimerInterval / 1000.0;
bool onScreen = playPos >= 0.0 &&
between_incexc(viewInfo.h - tolerance,
playPos,