Skip to content

Editor hints#93

Merged
arcticicestudio merged 1 commit intodevelopfrom
feature/gh-80-editor-hints
Mar 21, 2019
Merged

Editor hints#93
arcticicestudio merged 1 commit intodevelopfrom
feature/gh-80-editor-hints

Conversation

@arcticicestudio
Copy link
Copy Markdown
Contributor

Closes #80

VS Code 1.22 (1) (March 2018) introduced new theme keys for editor "hint"
diagnostics (2) to be shown in the editor (3).

References:

  (1) https://code.visualstudio.com/updates/v1_22
  (2) https://code.visualstudio.com/updates/v1_22#_new-theme-colors
  (3) https://code.visualstudio.com/updates/v1_22#_hints-in-the-editor

GH-80
@arcticicestudio arcticicestudio self-assigned this Mar 21, 2019
@arcticicestudio arcticicestudio force-pushed the feature/gh-80-editor-hints branch from 2da03c5 to eb84642 Compare March 21, 2019 16:41
@arcticicestudio arcticicestudio merged commit d0d6bfd into develop Mar 21, 2019
@arcticicestudio arcticicestudio deleted the feature/gh-80-editor-hints branch March 21, 2019 16:43
@arcticicestudio arcticicestudio removed their assignment Mar 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants