Ben Loftis dd08d12475 desensitize playhead by default, and make a new config variable 'sensitize-playhead' ...

Historically, it was possible to grab the 1-pix-wide red line, and drag the playhead
In rare but annoying cases, the red playhead interferes with mouse clicks, because it is on top
De-sensitize the playhead by default, and provide a new config var for those who want the old operation

2023-05-01 08:49:27 -05:00

205 KiB

Raw Blame History

View Raw