Re: Miles' patch still fixes xfaces.c

[Richard Stallman]

        (setq
         mode-line-buffer-identification
         (quote
          (#("%14b" 0 4
             (face
              ;; (:weight bold)
              (:weight normal)
            ...

    but that fails.  The buffer name still is unreadable because the lines
    that make up the characters continue to be wider than usual.  The
    buffer name is not changed to normal weight, unless I apply Miles'
    fix.

Can you show me that fix?  Maybe we can change it not to crash.