this shows that webdriver is stabbing in wrong place

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 43de0eaeb1157a70c3b3e28fae2cf1b4cebc19e3..58510e2e762b6da94018cb8093618dac0ed8511f 100644 (file)
--- 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 956510dfb7c62a266646fcabdb9b59ac594aff8b..28e3a658067ccff7be4aabffb78275577c415d91 100644 (file)
--- 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");