| 摘要 |
Techniques are described for providing a document map of structure elements (e.g. headings) when a user interacts with a scroll control in a document window. Embodiments provide means of selective pruning (with optional folding/unfolding), differential emphasis, varying line spacing, and/or zooming of structure elements such as when there is insufficient space to display them all. Embodiments provide that document map may be updated dynamically or at conclusion of scroll event.
|
