dgenies
dgenies copied to clipboard
dotplot: refresh/menu button do not scale well
Reducing the plot and releasing the mouse make the button bigger than the top axis. If we make the plot bigger again, the button rescale is broken
A solution: replace button with images
Tested on firefox only