rgrams / defold_polygon_editor Goto Github PK

    <script>
        // https://stackoverflow.com/a/18197341/1266551
        function download_as_file(text) {
             var filename = "defold.convexshape";

            var element = document.createElement('a');
            element.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(text));
            element.setAttribute('download', filename);
            element.style.display = 'none';
            document.body.appendChild(element);
            element.click();
            document.body.removeChild(element);
        }
    </script>