using_plot_interactively/buttons.png
changeset 523 54bdda4aefa5
parent 522 d33698326409