On 2/25/21 2:25 PM, Jean-Marc Lasgouttes wrote:
Le 19/02/2021 à 22:05, Richard Kimberly Heck a écrit :
If you put a bookmark into the middle of a paragraph, then the marker
for it moves if you enter new material ahead of it. This is of course
because the bookmark is keyed to paragraph and position, but it is
very distracting on screen. I'm half inclined to suggest keying
bookmarks just to paragraphs, since their position does change in
this way. That would take care of the display problem, too.
I am completely aware that the current situation is not satisfying.
What I would like to do is to put the marker in the margin.
Unfortunately, we have to cater for the highly rare case where several
bookmarks are set in the same row. In this case, it would be necessary
to move the bookmark number vertically. But then we will not be sure
anymore that the bookmark number will be in the row/paragraph and we
will be displaying in the vertical territory of a different paragraph,
which can only lead to issues.
Yes, I can see the problem. Unfortunately, I don't have any great ideas.
I guess we will see what you come up with.
Riki
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
