diff --git a/assets/settings/default.json b/assets/settings/default.json index c472c337a7..6eaf7a42a6 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -652,5 +652,10 @@ // Mostly useful for developers who are managing multiple instances of Zed. "dev": { // "theme": "Andromeda" + }, + // Task-related settings. + "task": { + // Whether to show task status indicator in the status bar. Default: true + "show_status_indicator": true } } diff --git a/docs/src/tasks.md b/docs/src/tasks.md deleted file mode 100644 index a26beca9a3..0000000000 --- a/docs/src/tasks.md +++ /dev/null @@ -1 +0,0 @@ -# Tasks