Thomas Rast schrieb:
So we introduce a new variable format.abbrevEllipsis that defaults to
true (previous behaviour).
How about format.hideAbbrevDots that defaults to false? Then you can write
in the config file:
[format]
hideAbbrevDots
(note: without '= true').
Even though I usually detest double negations (and I would count
hideAbbrevDots=false as one), the ability to set the non-default value of
a Boolean variable in this way trumps my taste.
-- Hannes