fix bug in settings being changed before highlighter is attached