feat: update mouse selection at user's refresh rate#5717

akoreman merged 2 commits intoajaxorg:masterajaxorg/ace:masterfrom

thennothinghappened:mouse-update-smooththennothinghappened/ace:mouse-update-smoothCopy head branch name to clipboard