☰

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