From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 2 Apr 2021 20:48:31 +0000 (+0100)
Subject: movehist: Provide key for adjusting
X-Git-Tag: otter-0.5.0~288
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=04a4a3a1fd4f68a3663cb51712e344fbfd0b923d;p=otter.git

movehist: Provide key for adjusting

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

diff --git a/templates/script.ts b/templates/script.ts
index 478a1acc..5e506965 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -340,6 +340,13 @@ function recompute_keybindings() {
     desc: wresting ? 'Exit wresting mode' : 'Enter wresting mode',
     wrc: 'Predictable',
   });
+  add_uo(null, {
+    def_key: 'h',
+    kind: 'ClientExtra',
+    opname: 'motion-hint-history',
+    desc: 'Recent history display',
+    wrc: 'Predictable',
+  });
   var uo_keys = Object.keys(uo_map);
   uo_keys.sort(function (ak,bk) {
     let a = uo_map[ak]!;
@@ -649,6 +656,12 @@ keyops_local['wrest'] = function (uo: UoRecord) {
   recompute_keybindings();
 }
 
+keyops_local['motion-hint-history'] = function (uo: UoRecord) {
+  movehist_len_i ++;
+  movehist_len_i %= movehist_lens.length;
+  movehist_revisible();
+}
+
 keyops_local['pin'  ] = function (uo) {
   if (!lower_targets(uo)) return;
   pin_unpin(uo, true);