You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Dec 13, 2018. It is now read-only.
Editor datatip does not use ui theme font size (but buffer data tip does). I have a 2k monitor on linux and set my ui theme font size to 16 (using one-dark).
When hovering on the gutter, the datatip has the correct font size.
When hovering in the editor, the datatip has the atom default font size and does not respect the ui theme font size.
Also notice that I'm able to spawn the same datatip from both the editor and the gutter at the same time by just moving my cursor.