]> git.p6c8.net - devedit.git/commitdiff
Improved file editing using another filename:
authorpcanterino <>
Mon, 4 Oct 2004 17:50:04 +0000 (17:50 +0000)
committerpcanterino <>
Mon, 4 Oct 2004 17:50:04 +0000 (17:50 +0000)
- If the user just entered spaces as filename (detection works for other
  commands using the "newfile" CGI parameter too), we use the original filename
- Saving even works, if the file has to be created first


No differences found

patrick-canterino.de