ajaxorg/cloud9 — pull request #1630 by giannis (2012-05-31 11:57:36+00:00)
Title: * add a check to fix issue with "Firefox threw 'tabPage' after refresh"

* fixes ajaxorg/cloud9infra#142

@janjongboom or @linh81