Great insight into a UI so good nobody will ever notice it (not being sarcastic there). Reminds me of your awesome post on the tab resizing UI for Google Chrome. Well done!