update pygments setting