Use ini settings in highlight_string.