diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-03 14:39:30 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-03 14:39:30 +0100 |
| commit | a33cfcb55db4fafc873c0ce6d508cb27d6531cb6 (patch) | |
| tree | f3c5655ecc9efc42b89954530210f4871a16d941 /editors/code/src/status_display.ts | |
| parent | 1edf6d2d4fe613b43796554d9765056183efe21a (diff) | |
| parent | 9e71fc0314a2555eda446a64057df7e8f78fb7c9 (diff) | |
Merge #4502
4502: Mark fixes from diagnostics as quick fixes r=kjeremy a=kjeremy
Populates the diagnostic UI with fixes:
Before:
After:
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'editors/code/src/status_display.ts')
0 files changed, 0 insertions, 0 deletions