☰

Processing.js title changer

Adds the text of the main heading of the page to the title of the document on processingjs.org.

  • v0.2 04.05.2014 Imported from userscripts.org