Open mehcode opened 7 years ago
Looks like this is because the gutter ones are being appended to the parent of the workspace element here:
https://github.com/facebook-atom/atom-ide-ui/blob/754553a6403e4b068da7a843b84687696b68156a/modules/atom-ide-ui/pkg/atom-ide-diagnostics-ui/lib/gutter.js#L281
(This ends up being the base <body>
.)
Will it be possible to have a separate setting for the datatip font size? Or, where I can find the config file and modify it?
The words are too small to read.
@dwSun You can change the font size by overriding it in your stylesheet, e.g.
.datatip-marked-container {
font-size:1.5em;
}
@damieng Thanks, this almost fix the problem. It looks that the datatip is rending the pydoc inside python source as markdown. I will start a new issue at ide-python.
There are only two formats supported by the protocol - plain text and markdown. Given that linspace
formats correct it might be the language server doing the wrong thing for the example. If you enable LSP debugging with atom.config.set('core.debugLSP', true)
in the devtools window then restart you should see the hover response
message there when you hover and you can see what the body of it looks like - you can then paste it here.
@damieng, started 2 issues. As the owner of ide-python said:
I'm afraid this requires some upstream fixes in either the python language server or the protocol specifications.
This problem involves too much things than what I have expected early.
Description
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
(usingone-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.
Expected Behavior
The datatip should use the ui theme font size.
Actual Behavior
The datatip does not use the ui theme font size.
Versions
Additional Details