From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 9 Sep 2005 09:24:53 +0000 (+0000)
Subject: workaround for sequent viewer flickering
X-Git-Tag: V_0_1_2_1~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eb127f0c7e5958739e58fd1de56410f6325bcdf7;p=helm.git

workaround for sequent viewer flickering
---

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index 479891fec..586ff1479 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -432,7 +432,7 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
       self#script#setGoal goal;
       let win metano =
         let w =
-          GBin.scrolled_window ~hpolicy:`AUTOMATIC ~vpolicy:`AUTOMATIC
+          GBin.scrolled_window ~hpolicy:`AUTOMATIC ~vpolicy:`ALWAYS
             ~shadow_type:`IN ~show:true ()
         in
         let reparent () =