diff with original shrinking_ui.js