457
457
{ return spinner.session() != info.application() && tile_for(info).contains(position);});
462
462
auto const tile_count = tiles.count();
468
468
auto const total_width = bounding_rect.size.width.as_int();
469
469
auto const total_height = bounding_rect.size.height.as_int();