Cross-Ref Dialog Improvement?

[Richard Kimberly Heck]

On 5/5/20 7:58 AM, Jürgen Spitzmüller wrote:
> Am Montag, den 04.05.2020, 21:56 -0400 schrieb Richard Kimberly Heck:
>> The attached patch, based upon one posted to #11466, adds 'pretty
>> refs'
>> to the cross-reference dialog. Any thoughts about it? Should this be
>> made optional or something with a checkbox in the dialog?
> Looks like a good idea.
>
> I see that tables and figures do not get a label here (just the
> number). 

I think there are some other changes needed to deal with floats.

> And probably another sort option that sorts on the "pretty
> label" would be useful, too.

I'll see what we can do.

Riki