On Thursday, 22 January 2015 at 19:15:33 UTC, Vladimir Panteleev wrote:
I should do something about that overflow, though - didn't notice it on my system as my fonts are narrower.

Fixed.

Reply via email to