Switch to own fork of jsoneditor, that provides at least some info about changed JSON #1
Use data from onChange callback to fix #1 (we bet on josdejong/jsoneditor#136)