Copy and rename don't work initially
peterstadler opened this issue · comments
Peter Stadler commented
This surfaced at #131, yet this seems to be unrelated to the PR in question. At least I was able to reproduce this with current dev branch. NB, the issue only occurs initially! After opening a file once (via the edit button), copying and renaming works.