noedit = You have not enough permissions to edit this file.
file_in_use = The file '{FILE}' is currently edited by someone else.
edit_failed = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
+text_to_binary = You aren't allowed to write text data into a binary file.
delete_failed = Could not delete file '{FILE}'.
dir_read_fail = Reading of directory '{DIR}' failed.
mkfile_failed = Could not create file '{FILE}'.
file_exists = A file or directory called '{FILE}' already exists.
exist_edited = The target file '{FILE}' already exists and is edited by someone else.
in_use = The file '{FILE}' is currently edited by someone else.
+dir_replace = You are not allowed to replace a directory.
noview = You have not enough permissions to view this file.
nocopy = You have not enough permissions to copy this file.
dircopy = This editor is not able to copy directories.