upload of TexEditor files