scroll-to in editor<%>

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.