From 471314bb44d2b68ba64e820f1be701db1a3813b9 Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emilernerfeldt@gmail.com>
Date: Wed, 16 Dec 2020 20:28:43 +0100
Subject: [PATCH] Fix edge-case in duplicate ID warning

---
 egui/src/context.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/egui/src/context.rs b/egui/src/context.rs
index fca49aba..aa788b20 100644
--- a/egui/src/context.rs
+++ b/egui/src/context.rs
@@ -342,7 +342,7 @@ impl Context {
     /// Call this for `Id`:s that need interaction or persistence.
     pub(crate) fn register_interaction_id(self: &Arc<Self>, id: Id, new_pos: Pos2) {
         if let Some(prev_pos) = self.memory().used_ids.insert(id, new_pos) {
-            if prev_pos == new_pos {
+            if prev_pos.distance(new_pos) < 0.1 {
                 // Likely same Widget being interacted with twice, which is fine.
                 return;
             }