/// <summary>
 /// Notifies the onWorkbenchEvent handler of a new workbench event.
 /// </summary>
 /// <param name="type">Type.</param>
 /// <param name="manifold">Manifold.</param>
 //private void NotifyOfEvent(WorkbenchEvent.EType type, Manifold manifold, int index, int otherIndex = -1){
 private void NotifyOfEvent(WorkbenchEvent.EType type, Sensor sensor, int index, int otherIndex = -1)
 {
     if (onWorkbenchEvent != null)
     {
         //onWorkbenchEvent(new WorkbenchEvent(type, this, manifold, index, otherIndex));
         onWorkbenchEvent(new WorkbenchEvent(type, this, sensor, index, otherIndex));
     }
 }
 //private void NotifyOfEvent(WorkbenchEvent.EType type, ManifoldEvent manifoldEvent){
 private void NotifyOfEvent(WorkbenchEvent.EType type, ManifoldEvent manifoldEvent)
 {
     if (onWorkbenchEvent != null)
     {
         //var m = manifoldEvent.manifold;
         var m = manifoldEvent.sensor;
         //onWorkbenchEvent(new WorkbenchEvent(type, this, m, sensors.IndexOf(m), manifoldEvent));
     }
 }