-
Matthias Clasen authored
This will be used to identify a scrollbar is being dragged - we don't actually need the style class; another way to keep track of the dragging status would be ok too.
1fad6b04
This will be used to identify a scrollbar is being dragged - we don't actually need the style class; another way to keep track of the dragging status would be ok too.