Paul Kaplan 7485aabb68 Remove scale transition from green flag, stop and sound editor buttons ...

See #4382 for more info about why, and what we need to follow up on it

2019-01-18 12:58:11 -05:00

..

icon-button.css

Remove scale transition from green flag, stop and sound editor buttons

2019-01-18 12:58:11 -05:00

icon-button.jsx

Fix numerous draggable images in the GUI.

2018-02-09 09:38:00 -05:00