Antonio Scandurra 4182060386 Merge pull request #375 from zed-industries/more-project-diagnostics-styling ...

Last touches on project diagnostics for now

2022-01-27 16:47:05 +01:00

..

display_map

Render header blocks as horizontall fixed (like the gutter)

2022-01-25 17:19:38 -08:00

multi_buffer

Verify Anchor::buffer_id before resolving it or comparing it

2022-01-11 16:40:12 +01:00

display_map.rs

Move logic for starting language servers to the project

2022-01-19 14:05:06 -08:00

editor.rs

Merge pull request #375 from zed-industries/more-project-diagnostics-styling

2022-01-27 16:47:05 +01:00

element.rs

Avoid showing selection strip on top of diagnostic headers

2022-01-26 10:23:40 -08:00

items.rs

Tweak diagnostic header styling

2022-01-25 15:33:49 -08:00

movement.rs

Clip right when moving to next word in case we land on a block line

2022-01-04 15:17:37 +01:00

multi_buffer.rs

Avoid grouping transactions created by different editors

2022-01-27 15:51:46 +01:00

test.rs

Allow disk-based diagnostic progress begin/end events to interleave

2022-01-06 09:32:08 -07:00