Added an "About" dialogue, which shows some (more or less useful) information about...

[devedit.git] / devedit.dat

diff --git a/devedit.dat b/devedit.dat
index 285e4635c6b8e20ceb8abce1e1817438280073b9..79ad3db6672f0bc7b578f347d4c7e7734b5d951d 100644 (file)
--- a/devedit.dat
+++ b/devedit.dat
@@ -21,6 +21,8 @@ tpl_viewfile        = templates/viewfile.htm
 tpl_editfile        = templates/editfile.htm
 tpl_copyfile        = templates/copyfile.htm
 tpl_renamefile      = templates/renamefile.htm
+tpl_mkfile          = templates/mkfile.htm
+tpl_mkdir           = templates/mkdir.htm
 tpl_upload          = templates/upload.htm
 tpl_confirm_rmfile  = templates/confirm_rmfile.htm
 tpl_confirm_rmdir   = templates/confirm_rmdir.htm
@@ -30,6 +32,7 @@ tpl_dirlist_file    = templates/dirlist_file.htm
 tpl_dirlist_dir     = templates/dirlist_dir.htm
 tpl_dirlist_up      = templates/dirlist_up.htm
 tpl_error           = templates/error.htm
+tpl_about           = templates/about.htm
 
 # Error messages
 
@@ -48,6 +51,7 @@ err_above_root    = Accessing files and directories above the virtual root direc
 err_create_ar     = You aren't allowed to create files and directories above the virtual root directory.
 err_file_exists   = A file or directory called '{FILE}' already exists.
 err_exist_edited  = The target file '{FILE}' already exists and is edited by someone else.
+err_in_use        = The file '{FILE}' is currently edited by someone else.
 err_noview        = You have not enough permissions to view this file.
 err_nocopy        = You have not enough permissions to copy this file.
 err_dircopy       = This editor is not able to copy directories.