Antonio Scandurra ffaf409a31 Forget last pane's leader when such pane is removed ...

This is just a memory optimization and doesn't cause any observable
change in behavior.

2022-03-22 11:06:52 +01:00

..

src

Forget last pane's leader when such pane is removed

2022-03-22 11:06:52 +01:00

Cargo.toml

Provide JSON language server with settings schema

2022-03-11 11:46:22 -08:00