Max Brunsfeld f7e7a7c6a7 Use rocksdb to store project paths' public/private state

2022-06-02 17:38:33 -07:00

..

lsp_status.rs

Switch MouseEventHandler to use MouseRegions

2022-05-26 20:00:01 -06:00

pane_group.rs

Load workspace and editor key bindings from a JSON file

2022-04-10 11:18:08 -07:00

pane.rs

Jump to primary diagnostic when clicking on header's jump icon

2022-05-31 16:25:14 +02:00

sidebar.rs

Don't focus editor when clicking on sidebar resize handle

2022-05-27 11:36:37 +02:00

status_bar.rs

Move sidebar toggle buttons to the status bar

2022-04-27 14:25:39 -07:00

toolbar.rs

Move Settings to its own crate

2022-04-06 10:23:33 -07:00

waiting_room.rs

Show private projects in the contacts panel

2022-06-02 17:29:11 -07:00

workspace.rs

Use rocksdb to store project paths' public/private state

2022-06-02 17:38:33 -07:00