c3ks/terminal.js — pull request #24 by jedi4ever (2013-05-07 06:01:50+00:00)
Title: deleteChar function does not exist, use deleteCharacters

in char.js there was an old usage of deleteChar