On Tue, Aug 09, 2016 at 12:25:14 +0200, Simon Ruderich wrote: [...] > I'd expect that most people use terminals which are wide enough > to handle a few extra characters. Or do you think 80 columns is > still common? [...] Just for the record: Well, I use 80 columns most of the time. -- www.cosmokey.com