From fdc8a26bc7a06bcebe130cb7ece3152f16e3ed9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20R=C3=A9gis-Gianas?= <yrg@pps.univ-paris-diderot.fr>
Date: Tue, 24 Mar 2015 16:08:16 +0100
Subject: [PATCH 04/11] src/gfx.ml: Fix height of help sourceview.

---
 src/gfx.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gfx.ml b/src/gfx.ml
index 7c0e45f..a860e89 100644
--- a/src/gfx.ml
+++ b/src/gfx.ml
@@ -260,7 +260,7 @@ let layout () =
   label_txt (Fd.render_raw label_help) box_help#pack;
   let sw_help = scrolled box_help#pack in
   let view_help =
-    GSourceView2.source_view ~editable:false ~packing:sw_help#add ()
+    GSourceView2.source_view ~height:100 ~editable:false ~packing:sw_help#add ()
   in
   view_help#set_indent 1;
   view_help#misc#modify_font monofont;
-- 
2.9.4