Skip to content

Conversation

@ChocoMelvin
Copy link

No description provided.

@ChocoMelvin ChocoMelvin changed the title Better hovers and auto-completion Draft: Better hovers and auto-completion Dec 23, 2025
@ChocoMelvin ChocoMelvin changed the title Draft: Better hovers and auto-completion Better hovers and auto-completion Dec 24, 2025
value: span.token.value as any
}));
}
return { contents: { kind: 'plaintext', value: '' } };

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

MarkupKind.PlainText ?

@Sander-Toonen Sander-Toonen merged commit f8c4cea into Pro-Fa:master Dec 29, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants