I guess Sebastien's point is that without a custom face, the only way to turn the dots off is to set the shadow face to be hidden. But that could have unintended side-effects. So if there's no custom face, then there should be a config so that people can turn it off without having to deal with those side-effects.
On 20 April 2014 14:30, Bastien <[email protected]> wrote: > > > Hi Sébastien, > > Sebastien Vauban <sva-news-D0wtAvR13HarG/[email protected]> > writes: > > > If you don't like to add a face, then I'd also favor the possibility to > > turn off the display of dots -- without having to touch the shadow face
