some new settings on highlighting