On Mon, Jan 28, 2013 at 4:47 PM, Diego Novillo wrote: > On Sun, Jan 27, 2013 at 7:09 AM, Steven Bosscher wrote: > >> Is this a known issue? > > No, thanks for the report. I'll try to see what's going on (though > you may need to ping me in a few days). http://www.youtube.com/watch?v=8U_R6tJfr-M Or for those limited to 80*40: Ping! Ciao! Steven