https://bugs.documentfoundation.org/show_bug.cgi?id=152029

--- Comment #9 from Eyal Rozenberg <[email protected]> ---
No, I'm sorry, this is not awesome. I watched the video, and a selection, or
even something that is indistinguishable from a selection, wouldn't do. We can
already select with a double click. I'm asking for a temporary highlighting -
and leaving the current selection alone. This would also be too inconsistent
with the fact that selection of a Navigator item under, say, Headings, doesn't
select nor show a selection of the heading. The point here, and what sets
bookmarks apart from headings, is that given two bookmark names, and two
bookmark indicators on the page, you can't know which is which. That's why
_gentle_, or subtle, highlighting is appropriate. 

(TBH I wouldn't mind subtle highlighting for other entities but again, not
something as strong as a selection.)

-- 
You are receiving this mail because:
You are the assignee for the bug.

Reply via email to