On 8/6/24 4:58 AM, Jürgen Spitzmüller wrote:
Am Montag, dem 05.08.2024 um 18:14 -0400 schrieb Richard Kimberly Heck:
I thought about this, but then realized that anything other than
TYPE: LABEL
which we used to have, will make it impossible to filter the way one
would naturally want to do: on the label itself. So I've done that.
I think we could filter on the label even if it is not in the displayed
string, or append it to the string for the outliner, then you could
filter on that, too.
I just think having 15 entries which all look the same is not very
helpful when trying to navigate to a specific cross reference.
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 agree that context is what would be most helpful here. And, yes, I'd
think we could put the label itself into some 'hidden' field, and run
the filter on that. I don't know how expensive the context thing would be.
In any case, there is a drawback in your change: the string is
truncated before it gets passed to the outliner. We don't do that with
other entry types, and it also affects filtering, as only the
untruncated part is considered.
I fixed this in master. Feel free to cherry-pick (or revert if you
disagree).
Done.
Riki
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
