mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-12 21:32:40 +00:00
ff2d20780f
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 |