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