|Subject:||bug#32651: flyspell marks doublons when not the same case|
|Date:||Fri, 7 Sep 2018 10:49:37 +0100|
I'm not claiming the current behavior is a good default, I'm saying it
is there for a long time, and thus takes precedence, because we cannot
possibly poll all those users who see that behavior every day and none
of them complained.
This is why I suggested a new customizable option: that way, you and
anyone else who wants Flyspell to behave differently can have that,
and if we learn this is the preferred behavior (by getting requests to
set that as default), we can make it the default at some future point.
IOW, what I suggested is a path towards potentially changing the
default, but gradually and without backward incompatibilities. OK?
|[Prev in Thread]||Current Thread||[Next in Thread]|