From ddfb30313d397186e070d3e60bd6b7b597502fda Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 11 Aug 2011 10:28:56 +0400 Subject: [PATCH] Anchor when reloading --- main.ml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 15d1c18..ccf5660 100644 --- a/main.ml +++ b/main.ml @@ -1928,6 +1928,13 @@ 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 @@ -1949,7 +1956,9 @@ let viewkeyboard key = | _ -> gotoy (clamp conf.scrollstep) end - | 'r' -> opendoc state.path state.password + | 'r' -> + state.anchor <- getanchor (); + opendoc state.path state.password | _ -> vlog "huh? %d %c" key (Char.chr key); -- 2.11.4.GIT