marijnh/CodeMirror — pull request #1206 by jasonsanjose (2013-01-31 22:18:38+00:00)
Title: widgetsSeen is a number, no longer an array

Fixes a refactoring mistake from 884d4d31db5fd26699084b08193692183254a1ef