# HG changeset patch # User Karl Heuer # Date 833046503 0 # Node ID 6caf08bd290c4b2fa5d95b43a6c6a351e4b78b7a # Parent ea9ba99e3a80db6b33d6e1206fc2e9c13e2cf9f2 (x_scroll_bar_handle_click): Repaint scroll bar handle when drag is finished. diff -r ea9ba99e3a80 -r 6caf08bd290c src/w32term.c --- a/src/w32term.c Sat May 25 14:42:59 1996 +0000 +++ b/src/w32term.c Sat May 25 17:48:23 1996 +0000 @@ -2192,6 +2192,7 @@ break; case SB_ENDSCROLL: default: + SetScrollPos (SCROLL_BAR_WIN32_WINDOW (bar), SB_CTL, y, TRUE); return FALSE; }