584ce06698
We want to disable selections in the sidebar because when users drag the handle, they could otherwise accidentally select stuff. This results in a very broken state. When selections are disabled, the sidebar also feels more like a GUI element from a real application, and less like part of a webpage.