From 3f82941e685ce8c8b17f22a7c8b7b926e27b830f Mon Sep 17 00:00:00 2001
From: Florian Jung <flo@windfisch.org>
Date: Tue, 18 Aug 2015 00:35:57 +0200
Subject: draw_circle: also convert radius to window lengths

---
 gui.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gui.py b/gui.py
index 688c095..cf0710d 100644
--- a/gui.py
+++ b/gui.py
@@ -49,6 +49,7 @@ def draw_box(rect, color, filled=False, global_coords=True):
 def draw_circle(pos, r, color, filled=False, global_coords=True):
     if global_coords:
         pos =  world_to_win_pt(pos, c.player.center)
+        r = world_to_win_length(r)
     
     if filled:
         gfxdraw.filled_circle(screen, pos[0], pos[1], r, color)
-- 
cgit v1.2.3