c3ks/terminal.js — pull request #20 by jedi4ever (2013-05-06 16:04:20+00:00)
Title: take correct scroll region attributes (torture test was failing)

minor enhancement to correctly handle scroll regions in diffs