> home > Commands

delete_file_query

January 19th 2020
Deletes the file of the current buffer if 4coder has the appropriate access rights. Will ask the user for confirmation first.