The right-pointing mouse pointer is oversized in high DPI about monaco-editor HOT 8 CLOSED

Wowzers 😅

from monaco-editor.

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

from monaco-editor.

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.

from monaco-editor.

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))

from monaco-editor.

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

from monaco-editor.

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.

from monaco-editor.

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

from monaco-editor.

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.

from monaco-editor.