GNOME Bugzilla – Bug 676673
Add possibility to rename files
Last modified: 2012-05-23 23:24:21 UTC
With the usual bindings of F2 and via right-click menu. Would also be really cool if the project is modified accordingly.
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find. *** This bug has been marked as a duplicate of bug 349733 ***
Right, I only searched in the project manager