Re-add deleted comment in default.json (#48279)

Closes #ISSUE

Release Notes:

- N/A *or* Added/Fixed/Improved ...
This commit is contained in:
Ben Kunkle 2026-02-03 10:31:38 -06:00 committed by GitHub
parent 6600154f44
commit 18a3b0c53a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -2356,6 +2356,7 @@
"line_indicator_format": "long",
// Set a proxy to use. The proxy protocol is specified by the URI scheme.
//
// Supported URI scheme: `http`, `https`, `socks4`, `socks4a`, `socks5`,
// `socks5h`. `http` will be used when no scheme is specified.
//
// By default no proxy will be used, or Zed will try get proxy settings from