Max Brunsfeld 3588e8276c Increase diagnostic editor's vertical scroll margin ...

This way, the first path header will always be fully visible when
you move your cursor to the beginning of the multibuffer.

2022-01-26 10:23:41 -08: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

Increase diagnostic editor's vertical scroll margin

2022-01-26 10:23:41 -08: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

WIP: Start on a GoToDefinition action for the editor

2022-01-20 12:26:04 +01:00

test.rs

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

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