JavaScript widget for inline JSON editing