>
home
>
Commands
rename_file_query
January 19th 2020
Queries the user for a new name and renames the file of the current buffer, altering the buffer's name too.