processing/processing — pull request #1848 by datguy (2013-06-03 11:03:12+00:00)
Title: Add refresh item to SketchBook menu

fixes processing/processing#1831