The info pages say that, to change the color of the mouse pointer, I should do something like this: (set-face-foreground 'pointer "hotpink") But that has no visible effect on either 21.4.14 or latest 21.5 CVS on my RedHat 9 machine. Am I doing something wrong, or is this usage broken? -- Jerry James http://www.ittc.ku.edu/~james/