scroll-to in editor-admin%

Called by the editor to request scrolling so that the given region is visible. The editor generally needs to be updated after a scroll, but the editor decides whether the update should occur immediately.

• (send an-editor-admin scroll-to localx localy w h refresh? bias) -> boolean
     localx : real number
     localy : real number
     w : non-negative real number
     h : non-negative real number
     refresh? = #t : boolean
     bias = 'none : symbol in '(start end none)

  The localx, localy, w, and h arguments specify a region of the editor to be made visible by the scroll (in editor coordinates).

  If refresh? is not #f, then the editor is requesting to be updated immediately.

  The bias argument is one of:

  • 'start -- if the range doesn't fit in the visible area, show the top-left region

  • 'none -- no special scrolling instructions

  • 'end -- if the range doesn't fit in the visible area, show the bottom-right region

  The return value is #t if the display is scrolled, #f if not (either because the requested region is already visible, because the display has zero size, or because the editor is currently printing.)