Commit e9aa2da01a50321902820d4371fe7b661069c26b
1 parent
47ff77cf
Set circle radius to 3 deg in show_pointings.py
Showing
1 changed file
with
1 additions
and
1 deletions
examples/show_pointings.py
| @@ -128,7 +128,7 @@ def plot_pointings(pnt, plotfile): | @@ -128,7 +128,7 @@ def plot_pointings(pnt, plotfile): | ||
| 128 | color='b' | 128 | color='b' |
| 129 | 129 | ||
| 130 | # Set circle | 130 | # Set circle |
| 131 | - circle = plt.Circle((l, p['b']), 4.0, color=color, fill=False) | 131 | + circle = plt.Circle((l, p['b']), 3.0, color=color, fill=False) |
| 132 | 132 | ||
| 133 | # Add circle | 133 | # Add circle |
| 134 | ax.add_artist(circle) | 134 | ax.add_artist(circle) |