From 3d36a20376a8479647557d172e1abc82abbff135 Mon Sep 17 00:00:00 2001
From: Clement Rey <cr.rey.clement@gmail.com>
Date: Sun, 16 Oct 2022 20:10:48 +0200
Subject: [PATCH] table: fix deadlocks caused by lock fairness (#2156)

---
 crates/egui_extras/src/table.rs | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/crates/egui_extras/src/table.rs b/crates/egui_extras/src/table.rs
index bdc11f00..3fc302e4 100644
--- a/crates/egui_extras/src/table.rs
+++ b/crates/egui_extras/src/table.rs
@@ -357,10 +357,11 @@ impl<'a> Table<'a> {
                     .expand(ui.style().interaction.resize_grab_radius_side);
                 let mouse_over_resize_line = ui.rect_contains_pointer(line_rect);
 
-                if ui.input().pointer.any_pressed()
-                    && ui.input().pointer.any_down()
-                    && mouse_over_resize_line
-                {
+                let any_pressed_and_down = {
+                    let pointer = &ui.input().pointer;
+                    pointer.any_pressed() && pointer.any_down()
+                };
+                if any_pressed_and_down && mouse_over_resize_line {
                     ui.memory().set_dragged_id(resize_id);
                 }
                 let is_resizing = ui.memory().is_being_dragged(resize_id);
@@ -377,8 +378,10 @@ impl<'a> Table<'a> {
                     }
                 }
 
-                let dragging_something_else =
-                    ui.input().pointer.any_down() || ui.input().pointer.any_pressed();
+                let dragging_something_else = {
+                    let pointer = &ui.input().pointer;
+                    pointer.any_down() || pointer.any_pressed()
+                };
                 let resize_hover = mouse_over_resize_line && !dragging_something_else;
 
                 if resize_hover || is_resizing {