From ff7e0b8ce17abae2db6bbb3a19cbc4d94b2c3cdc Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Thu, 11 Aug 2011 12:24:09 +0400
Subject: [PATCH] Back out unintended change that kreeped into
 ddfb30313d397186e070d3e60bd6b7b597502fda

---
 main.ml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/main.ml b/main.ml
index ccf5660..6e1331f 100644
--- a/main.ml
+++ b/main.ml
@@ -1928,13 +1928,6 @@ let viewkeyboard key =
       | [] -> ()
       end
 
-  | 'x' ->
-      state.text <- "zoom is reset to 100";
-      Glut.reshapeWindow (state.w + state.scrollw)
-        (truncate (float conf.winh *. conf.zoom));
-      conf.zoom <- 1.0;
-      Glut.postRedisplay ()
-
   | '<' | '>' ->
       reinit (conf.angle + (if c = '>' then 30 else -30)) conf.proportional
 
-- 
2.11.4.GIT