X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaMathView.ml;h=c666a34f7d7fe5f06efe5827e3660a5900e7bfc2;hb=8d321a03cf328b85fe7c084bb22685673633d2ee;hp=b966de073051f4266a223d21e24c44c4913595b2;hpb=b8cd3b086938bb4e042975a30e82b74a38b72476;p=helm.git

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index b966de073..c666a34f7 100644
--- a/helm/software/matita/matitaMathView.ml
+++ b/helm/software/matita/matitaMathView.ml
@@ -1578,7 +1578,7 @@ let mathViewer () =
 
     method screenshot status sequents metasenv subst (filename as ofn) =
        let w = GWindow.window ~title:"screenshot" () in
-       let width = 600 in
+       let width = 500 in
        let height = 2000 in
        let m = GMathView.math_view 
           ~font_size:!current_font_size ~width ~height