.3;
            graphEditor.display();
            requestAnimationFrame(animate);
         }

         function dispose() {
            graphEditor.dispose();
         }

         function save() {
            localStorage.setItem("graph", JSON.stringify(graph));
         }
      </script>
   </body>
</html>