# HG changeset patch # User Steven Tamm # Date 1094144480 0 # Node ID 10705eddc995a5953cc2079adfb2d01575bb4007 # Parent e8bafb4b47dbf497b8cf237743d21f017b3daeb5 (note_mouse_highlight): Set the mouse pointer shape to nontext_cursor if it is on a scroll bar. diff -r e8bafb4b47db -r 10705eddc995 src/xdisp.c --- a/src/xdisp.c Thu Sep 02 17:00:55 2004 +0000 +++ b/src/xdisp.c Thu Sep 02 17:01:20 2004 +0000 @@ -20892,7 +20892,8 @@ if (part == ON_VERTICAL_BORDER) cursor = FRAME_X_OUTPUT (f)->horizontal_drag_cursor; - else if (part == ON_LEFT_FRINGE || part == ON_RIGHT_FRINGE) + else if (part == ON_LEFT_FRINGE || part == ON_RIGHT_FRINGE + || part == ON_SCROLL_BAR) cursor = FRAME_X_OUTPUT (f)->nontext_cursor; else cursor = FRAME_X_OUTPUT (f)->text_cursor;