Max Brunsfeld 32979f3aca Rename deprioritize_task -> deprioritize ...

It applies to a family of tasks, not a task.

2023-11-16 20:03:18 -08:00

..

ignore.rs

WIP

2023-10-23 11:43:08 +02:00

lsp_command.rs

Remove the 2s from source code

2023-11-02 10:55:02 -07:00

project2.rs

Fix race conditions and bugs in Buffer::reload

2023-11-16 16:03:14 -08:00

project_settings.rs

Remove the 2s from source code

2023-11-02 10:55:02 -07:00

project_tests.rs

Rename deprioritize_task -> deprioritize

2023-11-16 20:03:18 -08:00

search.rs

Port changes to zed2

2023-11-03 11:02:50 +02:00

terminals.rs

Remove the 2s from source code

2023-11-02 10:55:02 -07:00

worktree_tests.rs

WIP

2023-10-23 11:43:08 +02:00

worktree.rs

Fix race conditions and bugs in Buffer::reload

2023-11-16 16:03:14 -08:00