Workaround for hover firing multiple times
Workaround for hover firing multiple times

Fixes #2911

xtermjs/xterm.js,Tyriar/xterm.js,Tyriar/xterm.js,Tyriar/xterm.js,sourcelair/xterm.js,sourcelair/xterm.js,xtermjs/xterm.js,xtermjs/xterm.js,xtermjs/xterm.js,Tyriar/xterm.js,Tyriar/xterm.js,sourcelair/xterm.js,xtermjs/xterm.js,sourcelair/xterm.js