(x, y, radius=0.15)
| 62 | |
| 63 | |
| 64 | def circle(x, y, radius=0.15): |
| 65 | from matplotlib.patches import Circle |
| 66 | from matplotlib.patheffects import withStroke |
| 67 | circle = Circle((x, y), radius, clip_on=False, zorder=10, linewidth=1, |
| 68 | edgecolor='black', facecolor=(0, 0, 0, .0125), |
| 69 | path_effects=[withStroke(linewidth=5, foreground='w')]) |
| 70 | ax.add_artist(circle) |
| 71 | |
| 72 | |
| 73 | def text(x, y, text): |