download feature, user can download text file of the editor