chrisdone/jquery-console — pull request #36 by platypii (2014-02-08 00:30:11+00:00)
Title: Fixed bug where pasted numbers get parsed as unicode.

Fix for issue #35