Class for a workspace dragger. It moves the workspace around when it is being dragged by a mouse or touch. Note that the workspace itself manages whether or not it has a drag surface and how to do translations based on that. This simply passes the right commands based on events.
The workspace to drag.
Move the workspace based on the most recent mouse movements.
How far the pointer has moved from the position at the start of the drag, in pixel coordinates.
Finish dragging the workspace and put everything back where it belongs.
How far the pointer has moved from the position at the start of the drag, in pixel coordinates.
Fake class which should be extended to avoid inheriting static properties