ElementById("code"), {
  lineNumbers : true,
  onCursorActivity: function() {
    editor.matchHighlight("CodeMirror-matchhighlight");
  }
});
</script>

    <p>Highlight matches of selected text on select</p>

  </body>
</html>
