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
I wonder if it could be possible to send the full name of the named parts of a document (theorem, section, ...) as somethings like an inlayHint or something like that ?
It should be pretty easy as this is already done as the hover.