ajaxorg/cloud9 — pull request #1643 by giannis (2012-06-01 12:37:04+00:00)
Title: * fix "Saving "New" File doesn't change filename or update tree"

* fixes issue ajaxorg/cloud9infra#1083

@zefhemel