iros/deck.js-codemirror — pull request #15 by Anks (2011-12-27 11:17:56+00:00)
Title: Improved logging

Hi,

I have made a couple of small changes that you might want to pull.

* Modified console.log to log all arguments passed to it
* Added a 'clear' button for runnable code

Thanks for providing this neat extension, it's been a lifesaver!