Jan Holthuis

Maybe a bug in the GitHub app. This is how it looks on mobile:  Sorry for the noise then.

Thank, could be useful for displaying crates/playlists and maybe custom tags. I disagree this that this should be used for notifications though. The main reason why I think notifications are...

Is the first sound detector really that heavy? I'd believe it would be pretty cheap. Isn't the verification code in this PR basically a copy of the first sound detector?...

Okay, I should probably explained the motivation behind this PR better, sorry😅. First of all, I've put "Request for comments" in the PR title because I don't plan to get...

> Thank you for pushing this forward. I have left some comments. Thanks for the review, but I'd rather get some feedback on the editing workflow first, before delving into...

> First, showing tempo markers in a special color is odd. I want to see that when editing the beatgrid, but after I've done that, I don't want to be...

I'm pretty busy right now, can't make any promises.

Related feature request: #10788

Rebased and squashed.

Not that this does not solve the problem. It only works in certain circumstances, i.e. the skin in use needs to define the same COs that the mapping uses. Use...