queue refresh of overview ruler when a decoration is removed#3738

meganrogge merged 2 commits intoxtermjs:masterxtermjs/xterm.js:masterfrom

meganrogge:merogge/remove-decomeganrogge/xterm.js:merogge/remove-decoCopy head branch name to clipboard