Work around interaction between scrolling and hover selection. Closes #7.