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