zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
18,334 Commits 667 Branches 720 Tags 178 MiB
cfe90c37fc
Commit Graph

507 Commits

Author SHA1 Message Date
Antonio Scandurra
0e51365770 In a diagnostic group, mark the highest-severity diagnostic as primary 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
 2021-11-18 15:53:00 +01:00
Antonio Scandurra
78bbb83448 Assign diagnostics a group_id based on their related_information 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
 2021-11-04 14:52:34 +01:00
Max Brunsfeld
0e62ddbb65 Replicate diagnostics to remote buffers 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
 2021-11-01 15:28:37 -07:00
Nathan Sobo
1a92a19954 Remove Anchor from protocol 2021-10-26 12:04:04 -06:00
Nathan Sobo
6ba4af3e26 WIP: Start converting SelectionSet to use AnchorRangeMap 2021-10-22 13:19:19 -06:00
Nathan Sobo
401bdf0ba1 Simplify protocol messages related to selection sets 
This prepares the way to switch to using AnchorRangeMaps to store and transmit selection sets.
 2021-10-22 12:35:29 -06:00
Nathan Sobo
d5b60ad124 Rename zrpc to rpc 
Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
 2021-10-04 13:28:00 -06:00