protected void makeThisADragHandle(Widget widget) {
if (doZoom) {
if (widget instanceof SourcesMouseWheelEvents) {
SourcesMouseWheelEvents wheeler = (SourcesMouseWheelEvents) widget;
wheeler.addMouseWheelListener(this);
}
}
if (widget instanceof SourcesMouseEvents) {
SourcesMouseEvents mouser = (SourcesMouseEvents) widget;
mouser.addMouseListener(this);