Fixes and refactors

Frontend/tools/jsonFormatter.html

@@ -241,6 +241,7 @@
 
         if (document.queryCommandSupported('insertText')) {
           document.execCommand('insertText', false, text);
+          
         } else {
           // Insert text at the current position of caret
           const range = document.getSelection().getRangeAt(0);
@@ -255,6 +256,7 @@
           selection.removeAllRanges();
           selection.addRange(range);
         }
+        highlightSyntax(editorEle.id);
       });
     </script>
   </body>