From c22055c05102d03f8070a13e52dec2a42ba53028 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Wed, 7 Jan 2026 14:38:54 +0100 Subject: [PATCH] =?utf8?q?Indication=20plus=20visible=20de=20la=20case=20a?= =?utf8?q?ctuelle=20quand=20l'=C3=A9chelle=20est=20grande?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- bin/modes.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/modes.ml b/bin/modes.ml index 834c3c4..15f56df 100644 --- a/bin/modes.ml +++ b/bin/modes.ml @@ -72,7 +72,9 @@ let render_world (EditorState (m, { board; pos = px, py; size })) = Graphics.moveto 0 (y * size); Graphics.lineto sx (y * size) done; - Graphics.draw_rect (((px - wx) * size) + 1) (((py - wy) * size) + 1) (size - 2) (size - 2) + Graphics.set_line_width ((size / 25) + 2); + Graphics.draw_rect ((px - wx) * size) ((py - wy) * size) size size; + Graphics.set_line_width 1 module rec Command : (Mode with type initer = string) = struct type state = string * string list -- 2.51.0