ajaxorg/cloud9 — pull request #1296 by giannis (2012-04-16 15:35:05+00:00)
Title: * fixes the issue 724 of infra

Filetree: Save as and replace files gives wrong display in filetree.

@linh81 or @zefhemel

issue
https://github.com/ajaxorg/cloud9infra/issues/724