From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Jul 2020 01:28:23 +0000 (+0100)
Subject: use dasharray
X-Git-Tag: otter-0.2.0~1368
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=8cae5fe5ca53abb437b29c00667bec694f9b3518;p=otter.git

use dasharray
---

diff --git a/templates/script.ts b/templates/script.ts
index c8f2c4b6..cfc1c1aa 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -222,16 +222,17 @@ function set_grab(piece: PieceId, p: PieceInfo, owner: PlayerId) {
 }
 function display_grab(piece: PieceId, p: PieceInfo) {
   var nelem = document.createElementNS(svg_ns,'use');
-  piece_cleanup_grab(piece, p);
+  piece_undisplay_grab(piece, p);
   nelem.setAttributeNS(null,'href','#select'+piece);
-  nelem.setAttributeNS(null,'stroke-dasharray',"3 1  1 1  1 1");
+  let da = players[p.held!]!.dasharray;
+  nelem.setAttributeNS(null,'stroke-dasharray',da);
   p.pelem.appendChild(nelem);
 }
 function set_ungrab(piece: PieceId, p: PieceInfo) {
   p.held = null;
-  piece_cleanup_grab(piece,p);
+  piece_undisplay_grab(piece,p);
 }
-function piece_cleanup_grab(piece: PieceId, p: PieceInfo) {
+function piece_undisplay_grab(piece: PieceId, p: PieceInfo) {
   while (p.pelem.children.length > 1) {
     p.pelem.lastElementChild!.remove();
   }