diff options
author | Florian Jung <flo@windfisch.org> | 2015-08-18 00:35:57 +0200 |
---|---|---|
committer | Florian Jung <flo@windfisch.org> | 2015-08-18 00:35:57 +0200 |
commit | 3f82941e685ce8c8b17f22a7c8b7b926e27b830f (patch) | |
tree | f8c19ecd4687546a0224cd6a90b16fe914f5416b | |
parent | be6ebaa64a1c5727dfc46b1fb9cdd98ac263bdbf (diff) |
draw_circle: also convert radius to window lengths
-rw-r--r-- | gui.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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) |