From eef57ec87dab5c681dd76ec9d3f7755158d57615 Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 22 Feb 2013 01:36:36 +0400 Subject: [PATCH] Do not flush tiles on opendoc Can be prohibitively expensive (glibc clears the memory on free for instance) --- main.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/main.ml b/main.ml index 5fb7d28..d037419 100644 --- a/main.ml +++ b/main.ml @@ -1917,7 +1917,6 @@ let opendoc path password = state.docinfo <- []; flushpages (); - flushtiles (); setaalevel conf.aalevel; Wsi.settitle ("llpp " ^ (mbtoutf8 (Filename.basename path))); wcmd "open %d %s\000%s\000" (btod state.wthack) path password; -- 2.11.4.GIT