djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

clippy fix

Browse source
This commit is contained in:
Emil Ernerfeldt 2021-09-08 23:40:44 +02:00
parent a76b81647c
commit ae6418edf3
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
egui/src/response.rs
View file

@ -358,12 +358,12 @@ impl Response {
return false; return false;
} }
if self.ctx.style().interaction.show_tooltips_only_when_still { if self.ctx.style().interaction.show_tooltips_only_when_still
if !self.ctx.input().pointer.is_still() { && !self.ctx.input().pointer.is_still()
// wait for mouse to stop {
self.ctx.request_repaint(); // wait for mouse to stop
return false; self.ctx.request_repaint();
} return false;
} }
// We don't want tooltips of things while we are dragging them, // We don't want tooltips of things while we are dragging them,