Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adopts injected text for inlay text. #128646

Merged
merged 3 commits into from
Jul 14, 2021
Merged

Conversation

hediet
Copy link
Member

@hediet hediet commented Jul 14, 2021

  • Extends CodeEditorService to register rich decorations for injected text.
  • Adopts injected text for inlay text.

FYI @jrieken @mjbvz @Kingwl

At some point, beforeInjectedText/afterInjectedText should replace before/after.
However, that is a breaking change, as you can insert css decorations (e.g. symbols) with before (without any text), but this is not possible with injected text. By design, injected text has no effect if the injected text is empty.

Use editor.useInjectedText: false to go back to before/after css decorations.

…for injected text.

Adopts injected text for inlay text.
@hediet hediet force-pushed the hediet/inlay-hints-injected-text branch from 0eeb7dd to f1b3605 Compare July 14, 2021 11:32
@hediet hediet requested a review from jrieken July 14, 2021 11:32
@hediet hediet self-assigned this Jul 14, 2021
@hediet hediet removed the request for review from jrieken July 14, 2021 11:33
Copy link
Member

@jrieken jrieken left a comment

Choose a reason for hiding this comment

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

Some nit, overall I like how little editor API changes this is

@hediet hediet merged commit 549404b into main Jul 14, 2021
@hediet hediet deleted the hediet/inlay-hints-injected-text branch July 14, 2021 13:26
@jogo-
Copy link
Contributor

jogo- commented Jul 15, 2021

@hediet At least, I've tried with this PR #128687...

@github-actions github-actions bot locked and limited conversation to collaborators Aug 28, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants