I tracked down this functionality to be 
   if l_stone /= Void and then l_stone.is_valid then
      (create {EB_CONTROL_PICK_HANDLER}).launch_stone (l_stone)
   end

So each tool needs to implement this code ...