Sprite editor: implement renaming an animation from the button panel.