Re: Customizing faces with `defcustom'

[Richard M. Stallman]

      I'm not sure which is better.  Since `previous-buffer' and
    `next-buffer' (that use the frame-local buffer list) currently are 
unfinished
    (they require more changes in C after the release) they don't work reliably,
    so maybe mouse-1 and mouse-3 in the mode line should use the global buffer
    list.  Even though it is not convenient, it exhibits predictable behavior.

I agree.  Could you fix that?