<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>Title</title>
    <link rel="stylesheet" href="../static/lib/codemirror/lib/codemirror.css">
    <link rel="stylesheet" href="../static/lib/codemirror/theme/base16.css">
    <script src="../static/lib/codemirror/lib/codemirror.js"></script>
    <script src="../static/lib/codemirror/mode/properties/properties.js"></script>
</head>
<body>
<a href="https://codemirror.net/5/doc/manual.html">https://codemirror.net/5/doc/manual.html</a>
<textarea id="code" name="code"></textarea>
<script>
    var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
        lineNumbers: true,
        mode: 'text/x-ini',
        theme: 'base16'
    });
    editor.setValue(`
[HTTP:aaa.bbb.com]
a = 1
b = 2
`)
    console.log(editor.getValue());
</script>
</body>
</html>