Hello Michael,
A bit prohibitive to my liking as the signal is very useful and I would rather find a solution that works for all use cases. But then I don't
I’m not sure why you say that.
I was probably too fixated on my needs. You're right with your conclusion that someone who prefers the alignment might just want to wait a little while for the next automatic refresh.
But there is still the (small) problem of misalignment after startup.
I don’t think adding a configuration option for this subtlety is worth it.
If you're fine with the provided patch, I certainly am. It's a pity that Gereon did not comment any further.
Cheers, Marco
