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. 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). -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
