ajaxorg/cloud9 — pull request #588 by janjongboom (2011-11-30 16:05:37+00:00)
Title: Copying a file updates tabEditors..name of the source node, which is a bug

Fix for https://github.com/ajaxorg/cloud9/issues/379