mirror of
https://github.com/zed-industries/zed.git
synced 2026-06-01 22:43:18 +00:00
This PR adds a new `hover_popover_delay` setting that allows the user to specify how long to wait before showing informational hover boxes. It defaults to the existing delay. Release Notes: - Added a setting to control the delay for informational hover boxes |
||
|---|---|---|
| .. | ||
| default.json | ||
| initial_local_settings.json | ||
| initial_server_settings.json | ||
| initial_tasks.json | ||
| initial_user_settings.json | ||