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