Use border dotted for hover triggers#1216

ang-zeyu merged 3 commits into

MarkBind:masterMarkBind/markbind:masterfrom

openorclose:underlineopenorclose/markbind:underlineCopy head branch name to clipboard