don't update selection and animate when search highlight prefs change
don't update selection and animate when search highlight prefs change
ycaihua/skim-app,ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim,WoLpH/skim,WoLpH/skim,WoLpH/skim,ycaihua/skim-app,WoLpH/skim,ycaihua/skim-app