lanxi: json editor