Getdist produces nice contour plots. I need to plot/add some curves in a 2D contour plot of two parameters. But I could not find any such option in the documentation of getdistplotter. I am able to ...

Context I'm trying to draw some waveforms in appjar and I could not find how to enable the navigation bar to zoom in/out,... on a plot matplotlib doc says it is specific to each graphical env and ...