Use proper height and fix alignment for positioned overview ruler decorations#3687
Merged
meganrogge merged 2 commits intoxtermjs:masterfrom Mar 16, 2022
Merged
Use proper height and fix alignment for positioned overview ruler decorations#3687meganrogge merged 2 commits intoxtermjs:masterfrom
meganrogge merged 2 commits intoxtermjs:masterfrom
Commits
Commits on Mar 16, 2022
- committed
- committed
