ajaxorg/cloud9 — pull request #1337 by giannis (2012-04-20 15:25:46+00:00)
Title: * fix when closing tabs the first time, they are still in the tabs dropd...

...own

issue 784 in infra
https://github.com/ajaxorg/cloud9infra/issues/784

@linh81 or @zefhemel