Use anti-aliasing for dotted borders. It looks better that way.
Changelog for v0.19.1