I am currently using edit_area_full.js on a few web pages to format python code examples. I have a few cases where I want to pretty format json data, but edit_area does not support json. What is the best drop in replacement for edit_area that can format json data in a text box in a webpage?
Here is how I am formatting python code.
<p><textarea id="code-area" name="user_code" rows="12" cols="80">if True: pass</textarea></p>
<script language="javascript" type="text/javascript" src="/static/edit_area_full.js"></script>
<script language="javascript" type="text/javascript">
editAreaLoader.init({
id: "code-area",
syntax: "python",
start_highlight: true,
allow_resize: "no",
font_size: 12,
toolbar: "new_document, |, help",
replace_tab_by_spaces: 4
});
</script>