diff -r fc71d5c27ce6 -r 8a42b4203f6d plotui/buttons.png Binary file plotui/buttons.png has changed