On 15/10/2018 16:23, Scott Kostyshak wrote:
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
th
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
> that the selected text is visible in th
