From 3de83d9379b8faf22bf10b4c83b72f560cc3d597 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 15 Apr 2022 20:46:06 +0100
Subject: [PATCH] dice: Fix cooldown radius

This looks good now.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/dice.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/dice.rs b/src/dice.rs
index b4714712..f9f6da79 100644
--- a/src/dice.rs
+++ b/src/dice.rs
@@ -20,7 +20,9 @@ fn default_circle_scale() -> f64 { 1. }
 // Copy of the value from die.svg's "timeblack"'s stroke-width
 const COOLDOWN_STROKE_WIDTH: f64 = 1.512;
 
-const COOLDOWN_EXTRA_RADIUS: f64 = DEFAULT_EDGE_WIDTH * 2. + 0.2;
+const COOLDOWN_EXTRA_RADIUS: f64 =
+  0.5 * (SELECT_STROKE_WIDTH + COOLDOWN_STROKE_WIDTH) +
+  DEFAULT_EDGE_WIDTH;
 
 #[derive(Debug,Serialize,Deserialize)]
 pub struct Spec {
-- 
2.30.2