fix: bump hover time to 500ms
This commit is contained in:
parent
d2c9c558f0
commit
032eb30c45
1 changed files with 1 additions and 1 deletions
|
@ -6159,7 +6159,7 @@ pub const EditorWidget = struct {
|
|||
}
|
||||
if (event == .init) {
|
||||
self.hover_mouse_event = false;
|
||||
const delay_us: u64 = std.time.us_per_ms * 100;
|
||||
const delay_us: u64 = std.time.us_per_ms * 500;
|
||||
self.hover_timer = tp.self_pid().delay_send_cancellable(self.editor.allocator, "editor.hover_timer", delay_us, .{"HOVER"}) catch null;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue