Triple barline option doesn't exist in the barline panel. Bug?

[tomotomo2]

@pianoleo

It strikes me that you could have found the history for yourself, by searching the forum for “triple barline”.

I did a quick search for “triple barline”, but I missed that old topic, cause it comes out a bit lower in the search result. Thanks for the link.

@derKirchenmusiker

more or less as an “Easter egg”, since it’s a niche case.

@dspreadbury

We might not add them to the UI but perhaps we can add them as a little secret thing you can enter into the Shift+B popover…

I’ve understood that triple barline feature was born as a secret thing.
However, the current Dorico manual doesn’t mention that this barline is a secret one, and it is introduced as one of the types of barlines we can input normally. The manual sez

" Types of barlines
There are multiple types of barlines in Dorico Pro, which can all be input, moved, and deleted in the same ways."

Considering from this explanation in the manual, shouldn’t the triple barline option also be in the right panel?

@Derrek

an invisible barline would likely be a more often used alternative.

It would be a nice feature! (Even if there is a workaround using the dashed barline with dash length 0.)