(performance hitting) workaround for josdejong/jsoneditor#87 and  josdejong/jsoneditor#39 (josdejong/jsoneditor#79)