Daniel Imms cb10aadb06 Fix device pixel rounding errors in webgl renderer ...

This uses the ResizeObserver devicePixelContentBoxSize API in order to
fetch the exact device pixel dimensions from the browser. The old
possibly blurry behavior is used as a fallback if that API is not
available.

Part of #2662
Part of microsoft/vscode#85154

2022-07-24 03:31:05 -07:00

..

xterm-addon-attach

Add keywords to addons too

2022-01-30 05:47:58 -08:00

xterm-addon-fit

Merge pull request #3882 from jerch/fix_3881

2022-07-01 03:35:07 -07:00

xterm-addon-ligatures

Merge branch 'master' into dev_wlw

2022-03-31 09:00:09 -07:00

xterm-addon-search

v4.19.0

2022-06-29 09:40:07 -07:00

xterm-addon-serialize

v4.19.0

2022-06-29 09:40:07 -07:00

xterm-addon-unicode11

Add keywords to addons too

2022-01-30 05:47:58 -08:00

xterm-addon-web-links

v4.19.0

2022-06-29 09:40:07 -07:00

xterm-addon-webgl

Fix device pixel rounding errors in webgl renderer

2022-07-24 03:31:05 -07:00