From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 17:40:55 +0000 (+0000)
Subject: pin when lowring
X-Git-Tag: otter-0.2.0~430
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=38b4f5c5fbd885ec5531826fbc37e9efd9f57763;p=otter.git

pin when lowring

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

diff --git a/templates/script.ts b/templates/script.ts
index 3d036b48..973311f1 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -560,8 +560,13 @@ keyops_local['wrest'] = function (uo: UoRecord) {
   recompute_keybindings();
 }
 
-keyops_local['pin'  ] = function (uo) { pin_unpin(uo, true ); }
-keyops_local['unpin'] = function (uo) { pin_unpin(uo, false); }
+keyops_local['pin'  ] = function (uo) {
+  if (!lower_targets(uo)) return;
+  pin_unpin(uo, true);
+}
+keyops_local['unpin'] = function (uo) {
+  pin_unpin(uo, false);
+}
 
 function pin_unpin(uo: UoRecord, newpin: boolean) {
   for (let piece of uo.targets!) {