ajaxorg/cloud9 — pull request #925 by fjakobs (2012-02-08 17:35:58+00:00)
Title: Console panel fix

I scope the timers now to the console panels. This fixes printing in the wrong pane.

@sergi