Where can I find preferences? I want to disable the highlighting.