Add horizontal margins to text drawn in hover window.
Add horizontal margins to text drawn in hover window.
ycaihua/skim-app,ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim,WoLpH/skim,WoLpH/skim,WoLpH/skim,ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim