From 6cd921f9bf54097eb922e52db31c0ee97e5d7938 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 6 Jun 2015 21:19:59 +0300 Subject: [PATCH] Fix positioning when visiting document via history --- main.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/main.ml b/main.ml index 3bab62a..b92562e 100644 --- a/main.ml +++ b/main.ml @@ -3402,6 +3402,7 @@ let gotohist (path, (c, bookmarks, x, anchor)) = setconf conf c; let x0, y0, x1, y1 = conf.trimfuzz in wcmd "trimset %d %d %d %d %d" (btod conf.trimmargins) x0 y0 x1 y1; + reshape ~firsttime:true state.winw state.winh; opendoc path E.s; setzoom c.zoom; ;; -- 2.11.4.GIT