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.
file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
remove_root = You are not allowed to remove the root directory.
rename_root = You are not allowed to move/rename the root directory.
+no_users = It seems that your system doesn't support users and groups.
+not_owner = You are not the owner of {FILE}, so you are not allowed to change the mode and the group.
+invalid_group = '{GROUP}' seems to be an invalid group name. Please check it and try again.
# End of configuration file
\ No newline at end of file