void RenderPendingUpdates (Gdk.Window window) { foreach (RedrawRequest request in redrawList) { Rectangle updateRect = request.Area; RenderMargins (this.buffer, updateRect, request.Margin); window.DrawDrawable (Style.BackgroundGC (StateType.Normal), buffer, updateRect.X, updateRect.Y, updateRect.X, updateRect.Y, updateRect.Width, updateRect.Height); } redrawList.Clear (); }