From e28a8c2658cf99044c59cb90b3f93754c4264867 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Fri, 27 Jan 2012 00:54:34 +0400
Subject: [PATCH] Add information about trimmed margins

---
 main.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/main.ml b/main.ml
index a9b29f1..37a7c02 100644
--- a/main.ml
+++ b/main.ml
@@ -3306,6 +3306,11 @@ let rec enterinfomode =
     sep ();
     src#caption "Document" 0;
     List.iter (fun (_, s) -> src#caption s 1) state.docinfo;
+    if conf.trimmargins
+    then (
+      src#caption "Trimmed margins" 0;
+      src#caption ("Dimensions\t" ^ string_of_int (List.length state.pdims)) 1;
+    );
 
     src#reset state.mode state.uioh;
     let source = (src :> lvsource) in
-- 
2.11.4.GIT