SplitPane: divider positions sometimes are not updated until a mouse button release

To reproduce.

Click and drag the second divider to the left very quickly but do not release the mouse button or let the cursor leave the window
Notice the size of the button jump as soon as the mouse button is released or if the mouse leaves the window.