void Refresh (float localx, float localy, float w, float h, int drawCaret)
Redraws the buffer with the given clipping region (in buffer
coordinates). This method should only be called by the buffer's
administrator. See Caret Ownership (section
) for information about drawCaret.