Hi Sébastien,
Sebastien Vauban <sva-news-D0wtAvR13HarG/idocf...@public.gmane.org> 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. Well, I don't want to add a face for the same reasons I don't want adding an option: we are really in the bikeshed zone here, let's just live with it. -- Bastien