[previous] [up] [next]     [index]
Next: select-all Up: editor<> Previous: scroll-line-location

scroll-to

Called (indirectly) by snips within the editor: it causes the editor to be scrolled so that a given location range within a given snip is visible. If the editor is scrolled, #t is returned, otherwise #f is returned.



PLT