diff make-dist @ 8109:9bc00e1f0f3e

(make-face-italic, make-face-bold): Don't bind f2 here. (make-face-bold-internal, make-face-italic-internal): Bind f2 here. (make-face-bold-italic-internal, make-face-italic-internal) (make-face-bold-internal): New arg `font'. Callers changed.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Jul 1994 17:31:42 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff