chiark / gitweb /
wip fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Oct 2020 00:23:27 +0000 (01:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Oct 2020 00:23:27 +0000 (01:23 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts

index b93a7be2882f72d4054bedde9e983732a6aa903b..fa7ae345d1d65877ccc4d8cfd683088cac7fdc38 100644 (file)
@@ -300,7 +300,7 @@ function recompute_keybindings() {
     var nextelem = celem.nextElementSibling
     let cid = celem.getAttribute("id");
     if (cid == "uos-mid") mid_elem = celem;
-    else if (celem.getAttribute("class") == 'uos-mid') ;
+    else if (celem.getAttribute("class") == 'uos-mid') { }
     else celem.remove();
   }
   for (var kk of uo_keys) {
@@ -490,6 +490,8 @@ function redisplay_ancillaries(piece: PieceId, p: PieceInfo) {
     halo_colour = 'purple';
   } else if (p.last_seen_moved != null) {
     halo_colour = 'yellow';
+  } else if (p.held != null && p.pinned) {
+    halo_colour = 'white';
   }
   if (halo_colour != null) {
     let nelem = ancillary_node(piece, halo_colour);