]> git.p6c8.net - devedit.git/commitdiff
Small improvement for the JavaScript code which activates the checkbox for
authorpcanterino <>
Sun, 4 Jul 2004 13:52:19 +0000 (13:52 +0000)
committerpcanterino <>
Sun, 4 Jul 2004 13:52:19 +0000 (13:52 +0000)
saving under a different file name:
If the field for the file name is empty, the checkbox will be deactivated.


No differences found

patrick-canterino.de