Simplified and improved the selection/highlighting of icons in the icon view, using the new behaviour function. The new code is much more robust: the effects look smoother, and it handles edge cases like when animations are interrupted by further mouse or keyboard movement. There is no longer any jerking/snapping when animations are interrupted or replaced.