dart　ファイルをダウンロードさせる

download.dart

void download(String text) {
  String encodedFileContents = Uri.encodeComponent(text);
  
  //text file
  new AnchorElement(href: "data:text/plain;charset=utf-8,$text")
    ..setAttribute("download", "manifest.json")
    ..click();
}