Oct 25th 2020 #21 Default theme and dark theme have different behaviors. I'll have a look into this as soon as I am able. Might be a bit though.