var download_link = document.createElement("a");
download_link.appendChild(document.createTextNode("Download!"));
download_link.setAttribute("id", "nt3d_download");
var download_link = document.createElement("a");
download_link.appendChild(document.createTextNode("Download!"));
download_link.setAttribute("id", "nt3d_download");
download_link.setAttribute("download", this.user_function.name + ".stl");
download_link.setAttribute("href", "data:application/sla," + encodeURIComponent(this.stl));
this.ui.appendChild(download_link);
download_link.setAttribute("download", this.user_function.name + ".stl");
download_link.setAttribute("href", "data:application/sla," + encodeURIComponent(this.stl));
this.ui.appendChild(download_link);
this.ui.appendChild(this.form);
var table = document.createElement("table");
this.form.appendChild(table);
this.ui.appendChild(this.form);
var table = document.createElement("table");
this.form.appendChild(table);