Re: bar numbers at beginning of bar - partial solution

[Kieren MacMillan]

Hi Paul,

> I just searched through the docs and I don't find the meaning of X- 
> extent.
> What does it mean?  What does the above do?

Google
    X-extent site:lilypond.org/doc/v2.12

[Hint to everyone: using the 'site' Google-keyword is a great method  
of searching the docs!]

The first hit is
   <http://lilypond.org/doc/v2.12/Documentation/user/lilypond- 
internals/grob_002dinterface>

The first property description on that page is:
     "X-extent (pair of numbers) Hard coded extent in X direction."

So the command I suggested simply convinces the spacing engine  
BarNumbers have no width. [n.b., There's probably a more 'kosher' way  
of doing this, but this works for me.]

> > Now just solve the collision appropriately (with padding or  
> > whatever).
> Why doesn't outside-staff-priority alone solve this?

Don't know — I imagine that o-s-p simply decides the stacking  
*order*, but doesn't adjust the collision engine's algorithm w.r.t.  
horizontal positions/spacing.
Kieren.