From f82a0f65d7dbf6c559d7fdfd9f0340b185fb1d22 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 25 Feb 2012 15:31:05 +0400 Subject: [PATCH] Revert "Respect ghyll" This reverts commit dee1a1fd94673a83e00e7f610ccab977e35fb90c. --- main.ml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/main.ml b/main.ml index 4172592..f33e96a 100644 --- a/main.ml +++ b/main.ml @@ -1607,11 +1607,6 @@ let gotopage n top = gotoghyll y ;; -let gotoy_and_clear_text y = - gotoghyll y; - if not conf.verbose then state.text <- ""; -;; - let gotopage1 n top = let y = getpagey n in let y = y + top in -- 2.11.4.GIT