Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: Add docs for hover_popover_delay and update hover delay (#30620)

Browse source 
- Add docs for `hover_popover_delay`.
- Set `hover_popover_delay` to `300` from `350` which matches [VSCode's
hover
delay](ed48873ba2/src/vs/editor/common/config/editorOptions.ts (L2219)).

Release Notes:

- Added `hover_popover_delay` to settings which determines time to wait
in milliseconds before showing the informational hover box.
This commit is contained in:
Smit Barmase 2025-05-13 03:52:28 -07:00 • committed by GitHub
parent 9426caa061
commit 7eb226b3fc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 14 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
assets/settings/default.json
View file

@ -113,8 +113,8 @@
// Whether to show the informational hover box when moving the mouse // Whether to show the informational hover box when moving the mouse
// over symbols in the editor. // over symbols in the editor.
"hover_popover_enabled": true, "hover_popover_enabled": true,
// Time to wait before showing the informational hover box // Time to wait in milliseconds before showing the informational hover box.
"hover_popover_delay": 350, "hover_popover_delay": 300,
// Whether to confirm before quitting Zed. // Whether to confirm before quitting Zed.
"confirm_quit": false, "confirm_quit": false,
// Whether to restore last closed project when fresh Zed instance is opened. // Whether to restore last closed project when fresh Zed instance is opened.

4
crates/editor/src/editor_settings.rs
View file

@ -369,9 +369,9 @@ pub struct EditorSettingsContent {
/// ///
/// Default: true /// Default: true
pub hover_popover_enabled: Option<bool>, pub hover_popover_enabled: Option<bool>,
/// Time to wait before showing the informational hover box /// Time to wait in milliseconds before showing the informational hover box.
/// ///
/// Default: 350 /// Default: 300
pub hover_popover_delay: Option<u64>, pub hover_popover_delay: Option<u64>,
/// Toolbar related settings /// Toolbar related settings
pub toolbar: Option<ToolbarContent>, pub toolbar: Option<ToolbarContent>,

10
docs/src/configuring-zed.md
View file

@ -1741,6 +1741,16 @@ Example:
`boolean` values `boolean` values
## Hover Popover Delay
- Description: Time to wait in milliseconds before showing the informational hover box.
- Setting: `hover_popover_delay`
- Default: `300`
**Options**
`integer` values representing milliseconds
## Icon Theme ## Icon Theme
- Description: The icon theme setting can be specified in two forms - either as the name of an icon theme or as an object containing the `mode`, `dark`, and `light` icon themes for files/folders inside Zed. - Description: The icon theme setting can be specified in two forms - either as the name of an icon theme or as an object containing the `mode`, `dark`, and `light` icon themes for files/folders inside Zed.