aardio编辑器安装 monokai 主题

// ${name: installMonokai}
// ${title: 安装 monokai 主题}
 
import process; 
import web.rest.client
var http = web.rest.client();
_path = "~\config\themes\monokai.xml"
http.api("https://suiang.cn/aardio/data/monokai.xml","GET",function(ret){
    if(ret) string.save(_path, ret)
    return process.explore_select(_path); 
})()

将上面的代码在aardio中执行一下进行安装。