Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Disable selection globally on sidebar
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.
- Loading branch information