Max BrunsfeldandAntonio Scandurra d02ab9bd06 Start work on updating editors's scroll positions when following ...

Co-Authored-By: Antonio Scandurra <me@as-cii.com>

2022-03-18 12:56:20 -07:00

..

display_map

Fade out unnecessary code

2022-03-15 15:51:59 +01:00

multi_buffer

Assume the anchor is valid if we can find an excerpt that contains it

2022-03-11 17:08:12 +01:00

display_map.rs

Make all HighlightStyle properties optional

2022-03-15 10:39:43 +01:00

editor.rs

Start work on updating editors's scroll positions when following

2022-03-18 12:56:20 -07:00

element.rs

Rename app_state to global in gpui

2022-03-17 14:33:01 +01:00

items.rs

Start work on updating editors's scroll positions when following

2022-03-18 12:56:20 -07:00

movement.rs

Allow inserting multiple excerpts in a batch

2022-02-09 17:56:06 -08:00

multi_buffer.rs

Start work on updating editors's scroll positions when following

2022-03-18 12:56:20 -07:00

test.rs

Use a pool of databases to speed up integration tests

2022-02-07 15:00:00 -08:00