From 6f4c46912977f533eb04a55637ca04615dc82d14 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Sun, 12 Jan 2025 19:02:03 +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 974df92..f300fff 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.46.0