Added an animation option to TabbedButtonBar::removeTab().
Avoided division-by-zero problems in the javascript interpreter.