Customizing the position and number of dots in repeat sign bar lines

If you want to customize the position and/or number of dots in repeat sign bar lines, you can define new custom bar lines or redefine the way default repeat signs are drawn. This snippet shows how. This may be particularly helpful when using a staff with custom line-positions, as shown in this snippet.