public PageID CalculatePageID(int row, int col) { return new PageID(row * mGridExtentsHorz + col); } /// <summary>