Searched refs:MapPageNumberToFileMap (Results 1 – 1 of 1) sorted by relevance
21 MapPageNumberToFileMap (DviWidget dw, int number) in MapPageNumberToFileMap() function54 if (!(m = MapPageNumberToFileMap (dw, number))) { in RememberPagePosition()71 if (!(m = MapPageNumberToFileMap (dw, number))) in SearchPagePosition()