// ${name: installMonokai}
// ${title: 安装 monokai 主题}
 
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)
    loadcodex("~\tools\1) 开发环境\editor.aardio") 
})()

// https://suiang.cn/aardio/code/installMonokai