From 7aef447f4744ead0c386203815cae2547bf55629 Mon Sep 17 00:00:00 2001
From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com>
Date: Mon, 8 Apr 2024 16:21:24 +0200
Subject: [PATCH] chore: Remove tasks.md (#10273)

The file has been moved over to zed.dev repo and resurrected some time
ago.

Release Notes:

- N/A
---
 assets/settings/default.json | 5 +++++
 docs/src/tasks.md            | 1 -
 2 files changed, 5 insertions(+), 1 deletion(-)
 delete mode 100644 docs/src/tasks.md

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