I'm currently utilizing edit_area_full.js on several of my web pages to format python code snippets. However, I have encountered situations where I need to display formatted JSON data, which edit_area does not support. Can anyone recommend a suitable alternative to edit_area that can handle formatting JSON data within a text box on a webpage?
Below is an example of how I am currently 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>