import win.ui;
/*DSG{{*/
var winform = ..win.form(text="配置开发环境......";left=0;top=0;right=599;bottom=399;border="none";exmode="none";mode="child";parent=...;scroll=1)
winform.add()
/*}}*/
import ide;
import web.form;
var wb = web.form( winform, 0x4/*_UIFLAG_NO3DBORDER*/ | 0x200000/*_UIFLAG_NO3DOUTERBORDER*/, , ,true/*securityTrusted*/ );
wb.external={
edit = function(){
ide.openDocument( "\config.aardio" )
}
}
var html = /**
**/
wb.write( html )
wb.wait("");
ide.pluginViewShow(winform)
win.loopMessage();