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.
No comments:
Post a Comment