| 摘要 |
A dataset is divided into overlapping logical pages, each associated with a different page index. A graphical display window is then filled with data corresponding to a current page offset which is mapped into a subset of data in a logical page corresponding to a current page index. Events associated with user operation of navigation controls are intercepted, and upon determining that an event causes updating of the current page offset to a defined position within the currently indexed page, the current page index and offset are transparently mapped to a new page index and offset. The window may be associated with a scrollbar grip, and upon intercepting an event associated with operation of the grip, the position of the grip is scaled by multiplying it by a scaling factor. The current page index is then set to the index of a logical page that scales to the grip's position.
|
