diff options
-rw-r--r-- | play.js | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -276,7 +276,6 @@ function is_month_hex(hex) { function focus_stack(stack, hex) { if (ui.focus !== stack) { - console.log("FOCUS STACK", stack, hex) ui.focus = stack update_map() return stack.length <= 1 || is_setup_hex(hex) @@ -286,7 +285,6 @@ function focus_stack(stack, hex) { function blur_stack() { if (ui.focus !== null) { - console.log("BLUR STACK") ui.focus = null update_map() } @@ -1086,7 +1084,6 @@ function on_focus_hex_tip(x) { } function on_click_hex_tip(x) { - console.log(ui.hexes[x]) ui.hexes[x].scrollIntoView({ block:"center", inline:"center", behavior:"smooth" }) } |