josdejong/jsoneditoronline — pull request #33 by vbortone (2013-01-31 06:07:59+00:00)
Title: Correct options.history assignment when options.enabledHistory used.

I ran across this code while building type definitions file for the DefinitelyTyped project here on GitHub.