Blob Blame Raw
From b1408f7f64e131f280d0c55ae82743c9154eb97b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Gimenez?= <gimenez@pps.jussieu.fr>
Date: Tue, 24 Mar 2015 18:46:49 +0100
Subject: [PATCH 05/11] Tweaking the vertical split to avoid scroll bars

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

diff --git a/src/gfx.ml b/src/gfx.ml
index a860e89..3c51176 100644
--- a/src/gfx.ml
+++ b/src/gfx.ml
@@ -249,7 +249,7 @@ let layout () =
   (* Game screen *)
   let hpaned = GPack.paned `HORIZONTAL ~packing:main_vbox#add () in
   let tile_size = max 5 conf_tilesize#get in
-  hpaned#set_position (70 + 550 * tile_size / 40);
+  hpaned#set_position (80 + 550 * tile_size / 40);
   let lvbox = GPack.vbox ~packing:hpaned#add1 () in
   let vpaned = GPack.paned `VERTICAL ~packing:hpaned#add () in
   vpaned#set_position 350;
-- 
2.9.4