Stopping a timer when cursor is scrolling richtextbox

来源：https://stackoverflow.com/questions/64111534/stopping-a-timer-when-cursor-is-scrolling-richtextbox