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.
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?
tk, done