Duplicate files in the Web IDE

I should be able to duplicate files in the Web IDE.

Proposal

  • add duplicate button to file/directory drop down in file tree

Design

image

Links / references