A preference page for the editor, allowing you to change the bracket
highlighting strategy