From 04a4a3a1fd4f68a3663cb51712e344fbfd0b923d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 2 Apr 2021 21:48:31 +0100
Subject: [PATCH] movehist: Provide key for adjusting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/script.ts | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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);
-- 
2.30.2