MuMoT
MuMoT copied to clipboard
Replace global var figcounter with matplotlib.pyplot.get_fignums()?
What does figcounter do? Can it be replaced with matplotlib.pyplot.get_fignums()? This is the sole global in the package and we should remove it if possible.
Doing this may be part of resolving issue #231