On Mon, Oct 15, 2018 at 03:48:31PM +0200, Daniel wrote:
> I suggest to apply "selected text" color to non-text elements like math and
> formatting characters, like new line etc.
>
> I guess the intended use of a "selection text" color is there to make sure
> t
I suggest to apply "selected text" color to non-text elements like math
and formatting characters, like new line etc.
I guess the intended use of a "selection text" color is there to make
sure that the selected text is visible in the selection, given the
"sele
