Animates window resizing when the user selects an integral scale. Fixes #441.