mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-28 09:54:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

chore: Remove tasks.md (#10273)

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

Release Notes:

- N/A
This commit is contained in:
Piotr Osiewicz 2024-04-08 16:21:24 +02:00 committed by GitHub
parent 4bdfc12b79
commit 7aef447f47
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
assets/settings/default.json
View file

@ -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
}
}

1
docs/src/tasks.md
View file

@ -1 +0,0 @@
# Tasks