2 bugs in checking of modifications

1. While having a file opened in the editor, the editor should know when this file is renamed and then ask if it shall be recreated (it works only for file removal so far).

2. Whenever reloading due to modifications of files is declined, the workpath (as in editor.js line 8) should be reset to null and the label be updated (e.g. to “new file”).
   It already works for the case in which the recreation of a file is declined.

(from redmine: issue id 1891, created on 2014-10-07 by root, closed on 2014-10-08)

• Changesets:
  • Revision 1592 by Thorben Quast on 2014-10-08T15:09:27Z:

code editor: fix #1891

• Revision 1592 by Thorben Quast on 2014-10-08T15:09:27Z:

code editor: fix #1891