• Glenn Morris's avatar
    Restore user option rmail-highlight-face. · f454672b
    Glenn Morris authored
    * mail/rmail.el (rmail-highlight-face): Restore option deleted
    2008-02-13 without comment; mark it obsolete.
    (rmail-highlight-headers): Use rmail-highlight-face once more.
    f454672b
rmail.el 166 KB