json-ld/json-ld.org — pull request #326 by bollwyvl (2014-02-22 14:24:53+00:00)
Title: Refresh editors after playground tab change

This one-liner forces a refresh of all of the editors on changing tabs, which is a quick fix for #323 problem.

The correct output area will be refreshed anyway, so it is not necessary to do anything for them.