Skip to content

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

Merged
meganrogge merged 2 commits intoxtermjs:masterfrom meganrogge:merogge/remove-decoApr 19, 2022

Commits

Commits on Apr 19, 2022