From 96eedf1d0a30c81fdec0c163c6402cab0a3aa7bb Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 30 Dec 2020 13:06:03 +0000
Subject: [PATCH] this shows that webdriver is stabbing in wrong place

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/script.ts   | 2 +-
 wdriver/wdt-simple.rs | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/templates/script.ts b/templates/script.ts
index 43de0eae..58510e2e 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -622,7 +622,7 @@ function drag_add_piece(piece: PieceId, p: PieceInfo) {
 }
 
 function some_mousedown(e : MouseEvent) {
-  console.log('mousedown', e);
+  console.log('mousedown', e, e.clientX, e.clientY, e.target);
 
   if (e.button != 0) { return }
   if (e.altKey) { return }
diff --git a/wdriver/wdt-simple.rs b/wdriver/wdt-simple.rs
index 956510df..28e3a658 100644
--- a/wdriver/wdt-simple.rs
+++ b/wdriver/wdt-simple.rs
@@ -29,6 +29,8 @@ fn main(){
         .release()
         .perform()
         .always_context("drag")?;
+
+      w.synch()?;
     }
 
     debug!("finishing");
-- 
2.30.2