Great! Thanks very much - just what I was looking for. I only want an editor to fiddle with (tidy up) some data, which is in JSON format becasue it was exporte

Great! Thanks very much - just what I was looking for. I only want an editor to fiddle with (tidy up) some data, which is in JSON format becasue it was exported from the django dumpdata command. As it's a one off task - I didn't really want to get into writing a script. Cheers