Antonio Scandurra 53a7da9d3f Allow centering selections when requesting autoscroll ...

We use this new capability in the "go to line" modal.

2021-11-24 19:50:47 +01:00

..

src

Allow centering selections when requesting autoscroll

2021-11-24 19:50:47 +01:00

Cargo.toml

Invert dependency between editor and workspace

2021-11-24 17:07:16 +01:00