On 30/10/2018 15:57, Daniel wrote:
On 30/10/2018 15:00, Kornel Benko wrote:
Am Dienstag, 30. Oktober 2018 14:26:46 CET schrieb Daniel
:
I've attached a patch that uses fine dots rather than dashes as
spellcheck marks.
I found the current marks a bit too distracting (there are always words
in m
On 30/10/2018 15:00, Kornel Benko wrote:
Am Dienstag, 30. Oktober 2018 14:26:46 CET schrieb Daniel :
I've attached a patch that uses fine dots rather than dashes as
spellcheck marks.
I found the current marks a bit too distracting (there are always words
in my documents that I don't want to add
Am Dienstag, 30. Oktober 2018 14:26:46 CET schrieb Daniel :
> I've attached a patch that uses fine dots rather than dashes as
> spellcheck marks.
>
> I found the current marks a bit too distracting (there are always words
> in my documents that I don't want to add to the spell checker). It's
>
I've attached a patch that uses fine dots rather than dashes as
spellcheck marks.
I found the current marks a bit too distracting (there are always words
in my documents that I don't want to add to the spell checker). It's
clearly subjective but maybe you share my subjective experience.
The
