On Mon, Jul 10, 2017 at 11:55:20PM +0200, Martin Ågren wrote:
The previous patch introduced `pager.tag.list`. Its default was to use
the value of `pager.tag` or, if that was also not set, to fall back to
"off".
Change that fallback value to "on". Let the default value for
`pager.tag` remain at "off". Update documentation and tests.
Thanks for splitting this out. The default setting is definitely
orthogonal to allowing the config.
I've been running with this default for several years now (using the
patch I showed in the earlier thread you linked). It _does_ occasionally
annoy me, but I think overall it's an improvement. So it seems like a
good thing to try, and we can see how people respond as they try it out.
-Peff