Andre Schnabel wrote:
Hi,
Oliver Specht - Sun Germany -Hamburg schrieb:
it really looks like debugging support. The bookmarks get a selection
mark.
I'm not sure anybody needs this.
See issues 2517, 22290, 35308. So yes. *any*body needs that ;-)
André
Hi,
well, I would say somebody needs _something_ to mark bookmarks. It's
probably not _that_ ;-)
A simple mark like in the text selection doesn't help a lot. It's not
distinguishable to the cursor selection, it doesn't show start/ends of
overlapping bookmarks ...
The more elements of text are marked somehow (fields and index entries
usually are) the more a differentiator is needed.
Regards,
Oliver
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
