How "be nice" policies bring us to the tyranny of nonsense.
Thursday, September 4, 2008
'Rename' in 'File' menu
I often misname my files or save wrong folders. Created a new file, I hate to save the file, close it, use file manager to rename and open again. The 'rename' option should work for not so new files as well. I know that Java development tools have it. I would like all other editors to have it too.