jdorn/json-editor — pull request #270 by blabno (2014-10-31 09:43:56+00:00)
Title: RequestAnimationFrame callbacks should double check if editor was destro...

...yed meanwhile.