import ide; var url = _ARGV[1]; if(string.startsWith(url,"doc://")){ ide.openDocument(url); return; } if(string.startsWith(url,"file://~/",true) && (string.endsWith(url,".aardio",true) || string.endsWith(url,".aproj",true) ) ){ url = string.right(url,-8); ide.openDocument(url); return; } if(string.startsWith(url,"file://",true) ){ url = string.expand(url); } raw.execute( url ,"","open",5/*_SW_SHOW*/,..io.fullpath("~/") )