richedit(edit)导出txt文件

import fsys.dlg;

var path = fsys.dlg.save(
        "*.txt|*.txt|",
        io.fullpath("")
);
var text=mainForm.richedit.text;
var res=string.save(path,text);//第三个参数如果为true，则向文件追加数据
if(res){
    	mainForm.msgbox("保存txt文件成功");
 }