ajaxorg/cloud9 — comment on commit 20bb98f36afc7d312f8de82536a7d812e4f4390b
File: client/ext/tabbehaviors/tabbehaviors.js line 283
By mattpardee:

Just put in a pull request to fix this: https://github.com/ajaxorg/cloud9/pull/840