FR: rename file from editor, while open #7
Description
A handy thing with some online editors is that they allow you to change your destination file name, while having the document open.
It would be very handy, and not add clutter to the UI, to replace the label with an EditableLabel
If the user changes it, the app saves/(ask confirmation if already existing) to the new name, and delete the old path (or leave it alone as an old version)