added auto-scrolling feature to jsoneditor