Nicolas Goaziou <n.goaz...@gmail.com> writes: > I'm not sure a new variable is needed here. After all, that's what > filters are for.
Filters are for advanced Emacs users, not normal Emacs users. A "normal" Emacs users is someone who knows how to set an option but who doesn't know how to write a function. This is always a trade-off: if something is badly needed by users, let's have an option. If something is needed only for a few users, let's encourage someone to share her/his filter(s)*. I don't really have an opinion here: my impression is that the filter is correct in this case. * Btw, maybe we should consider gathering filters in some unique place, so that users can search and find them easily? Either a new directory in Worg or a new repository on the server? This is powerful enough to deserve a separate place IMO. -- Bastien
