From fb937610257d468ec975a1e15beca6cc8ec30606 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 3 Mar 2012 11:58:15 +0400 Subject: [PATCH] Counter productive, link numbers are unstable --- main.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/main.ml b/main.ml index 9778bb2..9d86b35 100644 --- a/main.ml +++ b/main.ml @@ -4516,7 +4516,6 @@ let viewkeyboard key mask = then ( let under = getlink opaque n in addnav (); - cbput state.hists.pag s; gotounder under; ) else loop (n-m) rest -- 2.11.4.GIT