ninja-ide/ninja-ide — pull request #110 by yprez (2011-12-17 16:22:48+00:00)
Title: File rename - prefill original filename in form

Also, don't try renaming if the name didn't change