Client side gutter icons - #423

Open

keyboardDrummer wants to merge 33 commits into

dafny-lang:masterfrom

keyboardDrummer:clientSideGutterIcons

Commits on Aug 10, 2023

Draft
keyboardDrummer
committed
ad30eaa

Commits on Aug 22, 2023

Incorrect icons show up in the gutter
keyboardDrummer
committed
7474f9c
Icons seem correct at first glance
keyboardDrummer
committed
06bcee7
Seems pretty good
keyboardDrummer
committed
0b463b8
Refactoring
keyboardDrummer
committed
1845185
Do not get server gutter icons
keyboardDrummer
committed
6f86f2b
Fix
keyboardDrummer
committed
6c86aae

Commits on Aug 23, 2023

Fixes and refactoring
keyboardDrummer
committed
dd7aec7
Add test for computeGutterIcons and fix bugs
keyboardDrummer
committed
50ec763
Add test for computing gutter icons when there is parse error
keyboardDrummer
committed
151e879
Combine similar classes
keyboardDrummer
committed
c777d94
Remove comment
keyboardDrummer
committed
b929ec8
Fix tests
keyboardDrummer
committed
c3b1cde
Fix tests
keyboardDrummer
committed
c4ecc28

Commits on Aug 29, 2023

Update gutter icons if line count changes
keyboardDrummer
committed
3cd6209

Commits on Sep 4, 2023

Commits on Sep 6, 2023

Use ResolutionCompleted
keyboardDrummer
committed
9b88302

Commits on Sep 7, 2023

Correctly handle ResolutionSucceeded notification
keyboardDrummer
committed
b0fcc05
Refactoring
keyboardDrummer
committed
e928e18
Reduce changes
keyboardDrummer
committed
d4307d4
Remove unused method
keyboardDrummer
committed
29f43a6
Enable duplicate event registration
keyboardDrummer
committed
29e8b86

Commits on Sep 8, 2023

Outdated errors also create error context
keyboardDrummer
committed
d893394
Update tests and add support for related diagnostics
keyboardDrummer
committed
a2ac4b5

Commits on Sep 11, 2023

Commits on Sep 20, 2023

Support for assertions in computed gutter icons
keyboardDrummer
committed
fc9988a

Commits on Sep 21, 2023

Merge remote-tracking branch 'origin/master' into clientSideGutterIcons
keyboardDrummer
committed
abc0e8e