Google Code-in

Last year, several Google Code-in students helped implement a web-based code editor which could soon allow students to write code using only a web browser. While you can currently upload a file from your computer to the editor, there is not currently a method to download it to your computer.

Implement a "download" button which, when clicked, copies the current editor content to a dataurl and opens it as a download link.