From 5a3f7bb49b850156e8cab559227c593da649864d Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Wed, 23 Jun 2021 19:02:35 +0200
Subject: tripoli: Hide toggle log button as it's not very useful.

---
 play.html | 1 -
 rules.js  | 1 -
 2 files changed, 2 deletions(-)

diff --git a/play.html b/play.html
index 0b6d8ec..1715016 100644
--- a/play.html
+++ b/play.html
@@ -297,7 +297,6 @@ svg circle, .piece {
 		</div>
 
 		<div class="image_button" onclick="toggle_zoom()"><img src="/images/magnifying-glass.svg"></div>
-		<div class="image_button" onclick="toggle_log()"><img src="/images/scroll-quill.svg"></div>
 		<div class="image_button chat_button" onclick="toggle_chat()"><img src="/images/chat-bubble.svg"></div>
 
 		<div id="prompt" class="prompt">$PROMPT</div>
diff --git a/rules.js b/rules.js
index f1482f6..33676d4 100644
--- a/rules.js
+++ b/rules.js
@@ -961,7 +961,6 @@ function end_pirate_raid() {
 
 function interception_roll(harbor, us_dice) {
 	let patrol_zone = PATROL_ZONE_OF_HARBOR[harbor];
-	console.log("interception_roll", SPACES[harbor], SPACES[patrol_zone], "us_dice=", us_dice);
 	let n_se = count_swedish_frigates(patrol_zone);
 	let n_us = count_american_frigates(patrol_zone);
 	if (n_se + n_us > 0) {
-- 
cgit v1.2.3