win32: fix EndPaint to avoid GDI leak

This commit is contained in:
Matthew Flatt 2010-12-28 06:21:58 -07:00
parent 7b5d948d33
commit b701d309f1

View File

@ -27,7 +27,7 @@
(define WS_EX_CLIENTEDGE #x00000200) (define WS_EX_CLIENTEDGE #x00000200)
(define-user32 BeginPaint (_wfun _HWND _pointer -> _HDC)) (define-user32 BeginPaint (_wfun _HWND _pointer -> _HDC))
(define-user32 EndPaint (_wfun _HDC _pointer -> _BOOL)) (define-user32 EndPaint (_wfun _HWND _pointer -> _BOOL))
(define-user32 ShowScrollBar (_wfun _HWND _int _BOOL -> (r : _BOOL) (define-user32 ShowScrollBar (_wfun _HWND _int _BOOL -> (r : _BOOL)
-> (unless r (failed 'ShowScrollbar)))) -> (unless r (failed 'ShowScrollbar))))
@ -174,7 +174,7 @@
(DeleteObject hbrush))) (DeleteObject hbrush)))
(unless (do-canvas-backing-flush hdc) (unless (do-canvas-backing-flush hdc)
(queue-paint))))) (queue-paint)))))
(EndPaint hdc ps))) (EndPaint w ps)))
0] 0]
[(= msg WM_NCPAINT) [(= msg WM_NCPAINT)
(if control-border-theme (if control-border-theme