Skip to content

Implement Error Lens#776

Merged
dzhou121 merged 1 commit intolapce:masterfrom
MinusGix:error-lens2
Jul 15, 2022
Merged

Implement Error Lens#776
dzhou121 merged 1 commit intolapce:masterfrom
MinusGix:error-lens2

Conversation

@MinusGix
Copy link
Copy Markdown
Member

image
image
Closes #747. Partially improves the state of #721, making it easier for a more general phantom text to be created (such as for plugins); primarily it would just be a case of making it have an enum rather than a single type.
It has a setting for whether the error lens background should go to the end of the view's line or to the end of the diagnostic, since I prefer the latter. End of the view's line is the default, since it is the default in VSCode (unsure about other editors).

@MinusGix MinusGix added A-ui Area: UI rendering and interactions A-editor Area: editor, modal editing labels Jul 15, 2022
@dzhou121 dzhou121 merged commit 4df4f67 into lapce:master Jul 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-editor Area: editor, modal editing A-ui Area: UI rendering and interactions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Error Lens

2 participants