From e9aa2da01a50321902820d4371fe7b661069c26b Mon Sep 17 00:00:00 2001 From: Jürgen Knödlseder Date: Fri, 17 Mar 2017 14:21:01 +0100 Subject: [PATCH] Set circle radius to 3 deg in show_pointings.py --- examples/show_pointings.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/show_pointings.py b/examples/show_pointings.py index f662bf1..584e557 100755 --- a/examples/show_pointings.py +++ b/examples/show_pointings.py @@ -128,7 +128,7 @@ def plot_pointings(pnt, plotfile): color='b' # Set circle - circle = plt.Circle((l, p['b']), 4.0, color=color, fill=False) + circle = plt.Circle((l, p['b']), 3.0, color=color, fill=False) # Add circle ax.add_artist(circle) -- libgit2 0.21.4