The drag never ends 馃槖
Quite literally! While dragging separators, if you quickly move your cursor out of the browser window, the separator gets stuck to your pointer since no dragEnd
is received. Numerous alternative behaviors are more acceptable than the current. We should pick one.
This is clearly low priority, but a burden to usability nonetheless.