One javascript too far -- select()

The last commit to select marks on focus didn't work. Let it go for now.