highlighter settings getter setter functions