Re: Buttons in Customize buffers

[Stefan Monnier]

> That is okay for graphics displays, but not for mouse-capable text
> terminals, since the latter cannot change the mouse pointer shape.
> The MS-DOS terminal is one case, but I'm guessing that non-windows
> sessions on an xterm with xt-mouse loaded are suffering from the same
> problem.

> Is the following change okay to install?

Could the MS-DOS code be changed to recognize the `pointer' property and do
something with it?  Maybe by adding a ms-dos-pointer-to-mouse-face-alist
that tells which mouse-face to use for which value of `pointer'?


        Stefan