func download_file(path : String, filename : String):
    var f = File.new()
    f.open(path,File.READ)
    var buf = f.get_buffer(f.get_len())
    JavaScript.download_buffer(buf,filename+".png")
    f.close()