document.getElementById('input').editor.setBehavioursEnabled(false)// disable bracket auto-match (i.e. automatic injection of closing brackets and other things), so we can enter raw source code.
vareditor=document.getElementById('input').editor
editor.setBehavioursEnabled(false)// disable bracket auto-match (i.e. automatic injection of closing brackets and other things), so we can enter raw source code.