Use u64
instead of usize
in ElementId
(#29493)
Truncation to a 32 bit `usize` could cause two distinct IDs to be considered the same element. Release Notes: - N/A
This commit is contained in:
parent
bb7a5b13df
commit
60ec55b179
9 changed files with 25 additions and 22 deletions
|
@ -254,7 +254,7 @@ impl Render for ZedPredictModal {
|
|||
.text_color(text_color)
|
||||
.child("tab")
|
||||
.with_animation(
|
||||
ElementId::Integer(n),
|
||||
n,
|
||||
Animation::new(Duration::from_secs(2)).repeat(),
|
||||
move |tab, delta| {
|
||||
let delta = (delta - 0.15 * n as f32) / 0.7;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue