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
It's a range at which hover should be used. I guess a client side should not send a new hover request till the user hovers over the range of the current range. If the range is undefined then the client should send a new request on a cursor position change.
Some clients highlight the symbol under the cursor when you hover -- so the user clearly understands "this hover tooltip applies to this precise symbol". This range gives them the opportunity to know which range to highlight.
It is not clear what it should be the range of.
The text was updated successfully, but these errors were encountered: