The right-pointing mouse pointer is oversized in high DPI

[be5invis]

(I have to take a photo because there is no software can take a correct snapshot)

[joaomoreno]

Hehe was coming here to say the same thing: happens on OS X too, retina display.

[alexdima]

I'm thinking it is caused by https://github.com/Microsoft/vscode/blob/master/src/vs/editor/browser/viewParts/lineNumbers/lineNumbers.css#L22 I wonder why we don't see this in vscode too.

[csinco]

Wowzers 😅

[somewhatabstract]

I was going to try this on my high DPI Windows machine, but I don't even get a right-facing pointer in that scenario. (Using Chrome Version 53.0.2767.4 dev-m (64-bit))

[Haroenv]

On Safari (9.1) I get a proper sized pointer on a high dpi screen

[nikikante]

It shows big pointer even in normal dpi when zoom is applied. Tested on chrome.
It is problem with css property cursor: webkit-image-set, which only have 2 definitions: one for normal(1x) resolution and one for high dpi(2x). Adding more definitions would solve the problem.
This is css4 feature, so no official support yet.

[bpasero]

@alexandrudima I am still getting this when using a newer electron (with Chrome 51) in VS Code:

[bpasero]

Ok I think your fix solves this for the standalone editor by just changing the CSS rule to be workbench specific. I will create an issue in VS Code repository.