Display of Cross-References in Outliner

[Jürgen Spitzmüller]

Am Dienstag, dem 06.08.2024 um 11:36 -0400 schrieb Richard Kimberly
Heck:
> Yes, I agree. But having 15 entries that look like "2.3" isn't any 
> better. Prior to this change, we got a mix of "2.3" and "Ref: LABEL",
> but that's due to a bug which I'm about to fix.

I totally agree. I was just responding to your question whether we
cannot do better here.

-- 
Jürgen