Hi,
Oliver Specht - Sun Germany -Hamburg schrieb:
Florian Reuter wrote:
..
I guess it was written for debugging puposes only but maybe we want
to make it available for the user too?
I don't know what the code exactly does, but ...
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é
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
