projects
/
cells.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e45b6c4
)
Indication plus visible de la case actuelle quand l'échelle est grande
author
Amélia Coutard-Sander
<git@ameliathe1st.gay>
Sun, 12 Jan 2025 18:02:03 +0000
(19:02 +0100)
committer
Amélia Coutard-Sander
<git@ameliathe1st.gay>
Sun, 12 Jan 2025 18:02:03 +0000
(19:02 +0100)
bin/modes.ml
patch
|
blob
|
history
diff --git
a/bin/modes.ml
b/bin/modes.ml
index 974df92c14ca896f52a9a4b5fefb3003b3e915ad..f300fffb399636427aacc75dd994f21e66bf4ac2 100644
(file)
--- 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