Le 08/01/2021 à 14:16, Pavel Sanda a écrit :
On Wed, Jan 06, 2021 at 08:32:50PM +0100, Jean-Marc Lasgouttes wrote:
Please try it out even if you are not big users of bookmarks. I do not use
them myself, so I do not know what a good UI is.
I think it should have tootltip saying it's bookmark, otherwise it migh
be confusing for someone randomly encoutering this element.
We do not have support for that currently. Tootips are for insets.
But I see the point. OTOH, if you have a good idea of a unicode
character that helps understand that this is a bookmark, this might be
useful.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
