refresh

   

Repaints a region of the buffer, generally called by a buffer administrator.

• (send a-wx:media-buffer refresh x y width height draw-caret) -> void
      x : inexact real
      y : inexact real
      width : inexact real
      height : inexact real
      draw-caret : small integer

  The x, y, width, and height arguments specify the area that needs repainting in buffer coordinates. See section  for information about draw-caret.