Possible bug?: Jumping between time signatures not working over non-single bar line

It is not possible to “arrow” to next time signature in this sample due to the || bar line (same result with : | or Fine or…)


(never mind it is a redudant time sign, any time sign will do the same)
But, if the || is changed to | it works.
Any reason for this behaviour?

The project is a new default project.
JumpingToTImeSign.dorico (438.3 KB)

Select More works.

Any manual barline (eg your double barline) is the same as a time signature to Dorico.

Yeah, whenever you create a double barline it automatically invokes Hide time signature.

It would be nice if Dorico was smart enough to allow you to arrow over to the next visible time sig though, and not just break the arrow function at any explicit barline.

It seems also to affect bar numbers;
Select More on Time Sign. also selects the bar number