code: function ( WheelEvent ) { 
  		var PinsElement = document.getElementById ( 'PinControl-Pins' );
  		if ( WheelEvent.deltaY ) {
  			PinsElement.scrollTop = PinsElement.scrollTop + WheelEvent.deltaY * 10 ;
  		}
  		WheelEvent.stopPropagation ( );
  	}
docs: /*
  
  --- _onWheel( WheelEvent ) ---
  
  wheel event handler