Is there a way to disable or delay documentation tip on hover ?
VSCode has an option Editor > Hover: Delay
but this would slow down also the hover of the output of command, while I want disable or slow down visualisation of the documentation only.
2 Likes
I don’t think this is possible with the normal VS Code settings – we’ll need to add a Julia specific option for that. Can you open a feature request?
2 Likes
tk, done
1 Like